diff options
| author | Michael Schmidt <github@mschmidt.me> | 2022-11-03 14:27:34 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2022-11-03 14:27:34 +0100 |
| commit | 8eadd08af4602de399a94313d4fb2b8980f7ceb0 (patch) | |
| tree | 70d250d6d7d03805a4ad154560fe30e495f26e1d /cparser/SwitchNorm.ml | |
| parent | a1dabb4792446538cce24eb87bcd3ccb3c09f18b (diff) | |
| download | compcert-8eadd08af4602de399a94313d4fb2b8980f7ceb0.tar.gz compcert-8eadd08af4602de399a94313d4fb2b8980f7ceb0.zip | |
Update man-page for `-funstructured-switch` (also for new `-std` option, `-finput-charset` and other small fixes)
Diffstat (limited to 'cparser/SwitchNorm.ml')
0 files changed, 0 insertions, 0 deletions