diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-12 13:16:29 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-12 13:16:29 +0100 |
| commit | 1057d06826cde79a65dd542c1b4dd72e0c25243d (patch) | |
| tree | 271c50ed19bf21f438acf26abe2afc7582154c23 /cparser | |
| parent | f44bf0961c9211cc650a47f73d575658aec4ba77 (diff) | |
| download | compcert-1057d06826cde79a65dd542c1b4dd72e0c25243d.tar.gz compcert-1057d06826cde79a65dd542c1b4dd72e0c25243d.zip | |
Deactivate ais_annotations again.
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions