]> git.donarmstrong.com Git - org-ref.git/commitdiff
make label export as a div with id for html.
authorJohn Kitchin <jkitchin@andrew.cmu.edu>
Tue, 14 Apr 2015 20:14:32 +0000 (16:14 -0400)
committerJohn Kitchin <jkitchin@andrew.cmu.edu>
Tue, 14 Apr 2015 20:14:32 +0000 (16:14 -0400)

No differences found