diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-10-18 10:06:43 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-10-18 10:09:01 +0200 |
| commit | f11d7c2478aa40c953726e5b153edb6b6da5e49b (patch) | |
| tree | a99a60b8e9d74eee6e2f39827d08d5fb353296e1 /deb/Vagrantfile | |
| parent | 1266b210ac51273cdfe2913fb1d710e1a20f5e9b (diff) | |
| download | pandoc-f11d7c2478aa40c953726e5b153edb6b6da5e49b.tar.gz | |
Travis tweaks.
Disable optimizations.
Make sure we don't change flag on aeson.
Diffstat (limited to 'deb/Vagrantfile')
0 files changed, 0 insertions, 0 deletions