diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-02 15:51:44 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-07-24 16:50:04 -0400 |
| commit | 3797216a84228b6685df1f2337e17b1a4de97722 (patch) | |
| tree | adabde203c5a623c9b7c9652bd03525100cd3d2b /src/options/options_template.cpp | |
| parent | 028b3ee2dce5ae7491f1019c32ac6faf6c4d6ef1 (diff) | |
Don't allow --stats if not a statistics-enabled build
Diffstat (limited to 'src/options/options_template.cpp')
0 files changed, 0 insertions, 0 deletions