3 Commits

Author	SHA1	Message	Date
Simon Michael	8ce5c84f35	tools: misc Shake, pandoc filter fixes	2018-03-31 02:43:28 +01:00
Simon Michael	aae61f46e2	tools: some pandoc filter fixes ... [ci skip]	2017-01-10 12:36:15 -08:00
Simon Michael	e881a29b0e	tools: move pandoc filters out of docs/ ... [ci skip]	2017-01-10 08:49:05 -08:00