diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-02-04 09:41:08 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-04 09:41:08 +0100 |
| commit | 3a332fa07674d27644c67a5c0259b40c5838fb24 (patch) | |
| tree | 7ed041a43ec72cac28ce8b116dee8937150ca73e /.gitmodules | |
| parent | b8f4512534f2ce81743bc5a0b7c12775e54fde88 (diff) | |
Better error messages for removed options.
See #3416.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions