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 /src/decision/decision_mode.cpp | |
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 'src/decision/decision_mode.cpp')
0 files changed, 0 insertions, 0 deletions