diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-09-25 09:53:44 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-25 09:53:44 -0700 |
commit | c40e0c9e62be60801896aa580d02783767e8b0f8 (patch) | |
tree | e054e8153ee92cdbb0d92e296b4b68d1e0d3b869 /test/command | |
parent | 22821ba2dadb7f6c4a75addcba24c2fb70445301 (diff) | |
download | pandoc-c40e0c9e62be60801896aa580d02783767e8b0f8.tar.gz |
GitHub ci - back to using ignore-paths.
paths with ! doesn't seem to do it.
Diffstat (limited to 'test/command')
0 files changed, 0 insertions, 0 deletions