moved Pandoc plugin (may be defunct)

This commit is contained in:
Jörn-Michael Miehe 2020-02-18 10:52:26 +01:00
parent 39ed226199
commit c043c45864