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 /src/Text/Pandoc | |
| 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 'src/Text/Pandoc')
0 files changed, 0 insertions, 0 deletions