]> pere.pagekite.me Git - text-free-culture-lessig.git/commitdiff
Merge pull request #13 from marsgui/master
authorpetterreinholdtsen <pere@hungry.com>
Wed, 2 Sep 2015 20:54:17 +0000 (22:54 +0200)
committerpetterreinholdtsen <pere@hungry.com>
Wed, 2 Sep 2015 20:54:17 +0000 (22:54 +0200)
Grouping endnotes with a global counter.


Trivial merge