diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:39:11 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-06-05 12:39:11 +0200 |
| commit | 56d269db4a0a8f7d6479d65cf607f00b703b8815 (patch) | |
| tree | 6fd1c82f5d8bd50e31760309320f9a6331a05319 /cparser | |
| parent | 7e151ef0a560f9ca93f6605c48a83016f0cdabe7 (diff) | |
| download | compcert-56d269db4a0a8f7d6479d65cf607f00b703b8815.tar.gz compcert-56d269db4a0a8f7d6479d65cf607f00b703b8815.zip | |
bug 23325, document recently introduced named warnings
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions