diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-16 10:45:13 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-16 10:45:13 -0700 |
| commit | b030d238932036a6c4bd5b034fafc340473ef409 (patch) | |
| tree | 182e742bbbaafbf9a831c7c3f5c7e8380b7dd7a3 /tools | |
| parent | d3e2d3c434140b9fd2fa8e02e8550c630d0540d8 (diff) | |
| download | pandoc-b030d238932036a6c4bd5b034fafc340473ef409.tar.gz | |
GitHub CI: don't trigger build with doc changes.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions