John MacFarlane c40e0c9e62 GitHub ci - back to using ignore-paths. ... paths with ! doesn't seem to do it.		2019-09-25 09:53:44 -07:00
..
workflows	GitHub ci - back to using ignore-paths.	2019-09-25 09:53:44 -07:00
ISSUE_TEMPLATE	ISSUE_TEMPLATE: add URL for pandoc-discuss.	2017-03-13 14:38:07 +01:00