diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-30 08:24:16 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-30 08:24:16 +0100 |
| commit | e858c84a7b2af9e7ccf4ac3268129520041210d9 (patch) | |
| tree | 8f611714944fa25e04f915ee2c060fd74a0b241b /VERSION | |
| parent | abaffde166972c5a0f5fdad1be716304854e33f8 (diff) | |
| download | compcert-e858c84a7b2af9e7ccf4ac3268129520041210d9.tar.gz compcert-e858c84a7b2af9e7ccf4ac3268129520041210d9.zip | |
Switch case for error option. Bug 19872
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions