diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-06-05 09:29:32 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-06-05 09:29:32 +0200 |
| commit | cce9bf31db1d57fa04c1f5fa392f88a28fe2d864 (patch) | |
| tree | 5681c8122af3784a04c803ba8dc1d5482e84c408 /VERSION | |
| parent | 9cb4707c34ecebb2fa189feae3d0ed212d5d4e99 (diff) | |
| download | compcert-cce9bf31db1d57fa04c1f5fa392f88a28fe2d864.tar.gz compcert-cce9bf31db1d57fa04c1f5fa392f88a28fe2d864.zip | |
bug 23325, document changed default for c11 named warning
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions