diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-06-14 10:06:21 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-06-14 10:06:21 -0700 |
commit | f699d64a1a75b672ce4ea1b57ce56889fe360df2 (patch) | |
tree | 409d9eb7f1e85ef6af6224477dfe1cdc1aa5cdad /man/pandoc.1.after | |
parent | a0559d952bc36ed5ed0693fcde15e6bd59dcf5e7 (diff) | |
download | pandoc-f699d64a1a75b672ce4ea1b57ce56889fe360df2.tar.gz |
Switch CI to use ghc 8.8.3.
This should fix CI failures.
Diffstat (limited to 'man/pandoc.1.after')
0 files changed, 0 insertions, 0 deletions