Merge pull request #479 from danvk/master+hairlines
authorDan Vanderkam <danvdk@gmail.com>
Fri, 28 Nov 2014 20:07:15 +0000 (15:07 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Fri, 28 Nov 2014 20:07:15 +0000 (15:07 -0500)
Hairlines/Super-annotations plugins + demo


Trivial merge