aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-09-15 18:09:10 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-09-15 18:09:26 -0700
commit172c7e3b38d5ff89e7e3d7b62cbdffcdda87cfe1 (patch)
tree3def223264f1b1648343e81bf16b7912cbefdc65 /tools
parentd0261d7387cdf1a910a1029a747e239453190f71 (diff)
downloadpandoc-172c7e3b38d5ff89e7e3d7b62cbdffcdda87cfe1.tar.gz
Tweak GitHub CI config.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions