diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-01-30 22:54:08 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-01-30 22:54:08 -0800 |
| commit | d7a13b4a587f56c4de7381ba556f994f6d85dba5 (patch) | |
| tree | 9cf9dd1560ef8596bbeca70a1f1e9518607819da /.gitignore | |
| parent | 13c1cb82b6c5299022f71acace8f7c4d6ea9b1b8 (diff) | |
| download | pandoc-d7a13b4a587f56c4de7381ba556f994f6d85dba5.tar.gz | |
linux/Dockerfile : use default -O1 instead of -O2.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions