diff options
| author | Rob Austein <sra@hactrn.net> | 2018-08-27 11:10:19 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2019-01-23 14:26:59 -0500 |
| commit | bb2d178c63e99abf78a30281625bc9826f19fff6 (patch) | |
| tree | f174f94b4428b6af3ed399126a172027eb84e353 /build/config.py | |
| parent | 56c22fbc58466285af8ac8f7ea7f48fc78212311 (diff) | |
Remove `-global_opt off` per discussion with Joachim and Pavel.
Diffstat (limited to 'build/config.py')
0 files changed, 0 insertions, 0 deletions