diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-09-15 18:12:12 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-15 18:12:12 -0700 |
commit | b023bfccf4599340fdb9645b013d2ac1c60fc558 (patch) | |
tree | e343c7def44f592cbad3fd6c741fbd440787a153 /tools/github-upload.sh | |
parent | 172c7e3b38d5ff89e7e3d7b62cbdffcdda87cfe1 (diff) | |
download | pandoc-b023bfccf4599340fdb9645b013d2ac1c60fc558.tar.gz |
GitHuB CI: remove --disable-optimization and --fast.
Diffstat (limited to 'tools/github-upload.sh')
0 files changed, 0 insertions, 0 deletions