diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-09-22 13:03:55 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-09-22 13:03:55 +0200 |
| commit | 8d0e86f0712fd9aceffbb1bb37d89ca84c83893c (patch) | |
| tree | d8b5abfbbc829eb4f2f69e9c02960ecaa26d5f2a /cfrontend/C2C.ml | |
| parent | a8f8dea01b69dd7d85b51163dcde11e4ad55df6d (diff) | |
| download | compcert-8d0e86f0712fd9aceffbb1bb37d89ca84c83893c.tar.gz compcert-8d0e86f0712fd9aceffbb1bb37d89ca84c83893c.zip | |
mention -Wall in help text
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions