Files
pandoc/.github
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
..