diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-27 19:02:50 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-27 19:02:50 +0000 |
| commit | 95dcbc6781cd8e62f8436f0cfe944b21dfd60ec0 (patch) | |
| tree | e0259b9f2993e397e662d6c71a74e473133850b1 /config | |
| parent | 0697e19c09a8ac5f1d9c30ee053845f06ea39c0e (diff) | |
Simplify --help=decision with only currently supported options
Add notice/warning when using incremental-mode + decision (it was
already disabled)
Some other minor cleanup
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions