diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-12-04 09:43:32 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:40 +0100 |
| commit | 70aa7b0485def299a210d8bf04ddd0f3dc3523fd (patch) | |
| tree | eac7febf3d5a969ae175af499874c899965b0ca2 /src | |
| parent | 57cff4b8ae75a2bbca86f5e3123cb890b629944e (diff) | |
Added `--fail-if-warnings` option.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions