diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-12-27 23:41:31 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-12-27 23:41:31 -0800 |
commit | bbf1192b86547710adaa306811ecc2aa557702de (patch) | |
tree | c851d24c8a2d70eb52e0def59d7a42f848d4e95c /data/odt/settings.xml | |
parent | 64b72e68a0cf8abfad3bb19d5ef45d3f1939b1c2 (diff) | |
download | pandoc-bbf1192b86547710adaa306811ecc2aa557702de.tar.gz |
Travis: do a stack build with lts-9. Use system ghc.
Diffstat (limited to 'data/odt/settings.xml')
0 files changed, 0 insertions, 0 deletions