Peter Simons 8235e8c544 Switch users of 'pandoc' to the lean version.		2015-01-02 14:56:24 +01:00
..
default.nix	Switch users of 'pandoc' to the lean version.	2015-01-02 14:56:24 +01:00