diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-15 18:09:10 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-15 18:09:26 -0700 |
| commit | 172c7e3b38d5ff89e7e3d7b62cbdffcdda87cfe1 (patch) | |
| tree | 3def223264f1b1648343e81bf16b7912cbefdc65 /tools | |
| parent | d0261d7387cdf1a910a1029a747e239453190f71 (diff) | |
| download | pandoc-172c7e3b38d5ff89e7e3d7b62cbdffcdda87cfe1.tar.gz | |
Tweak GitHub CI config.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions