diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-03-08 16:22:18 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-03-08 16:22:18 +0100 |
commit | 355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb (patch) | |
tree | a09181a165b3b3556f277d3785520f0881e40ca3 /cfrontend/PrintClight.ml | |
parent | 1c4e0ece041f87cc0c328c94270f2b23facc8b77 (diff) | |
download | compcert-355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb.tar.gz compcert-355c79ae4ffe9a0669c06d7a3a3ce1eb86ccc5fb.zip |
Update manpage for new warning name class
Diffstat (limited to 'cfrontend/PrintClight.ml')
0 files changed, 0 insertions, 0 deletions