diff options
author | John MacFarlane <jgm@berkeley.edu> | 2018-08-13 09:30:06 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2018-08-13 09:30:06 -0700 |
commit | 91cc2492fac8ebfbb88d6873f834ca7c73a0f83f (patch) | |
tree | 82f347ddfdafab998744df7003ab9cc16846901a /src/Text | |
parent | 6d14f53bd96f123acb5d8030cf9402ddb2e41f01 (diff) | |
download | pandoc-91cc2492fac8ebfbb88d6873f834ca7c73a0f83f.tar.gz |
Makefile: ghc options to speed compilation for 'make quick'.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions