Commit graph

2 commits

Author SHA1 Message Date
Peter Simons 8235e8c544 Switch users of 'pandoc' to the lean version. 2015-01-02 14:56:24 +01:00
Tom Hunger 013bd9247d Add hyperdex. 2014-12-15 10:27:00 +00:00