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 /x86_64 | |
parent | 9cb4707c34ecebb2fa189feae3d0ed212d5d4e99 (diff) | |
download | compcert-cce9bf31db1d57fa04c1f5fa392f88a28fe2d864.tar.gz compcert-cce9bf31db1d57fa04c1f5fa392f88a28fe2d864.zip |
bug 23325, document changed default for c11 named warning
Diffstat (limited to 'x86_64')
0 files changed, 0 insertions, 0 deletions