diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-09-21 17:49:00 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-21 17:49:00 -0700 |
commit | b9ccd44f0a006502a1d4943ae8fa6c3139fba8c1 (patch) | |
tree | fedfc48bd5ce11c66fb806cecb2f21c0c4abe9db /src/Text/Pandoc/Highlighting.hs | |
parent | 21b6bd623c26a39ba36102a926a5c5e86cb0938e (diff) | |
download | pandoc-b9ccd44f0a006502a1d4943ae8fa6c3139fba8c1.tar.gz |
Actions ci - trigger on pull_request as well as push.
Diffstat (limited to 'src/Text/Pandoc/Highlighting.hs')
0 files changed, 0 insertions, 0 deletions