diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 15:15:30 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-07-10 15:15:30 +0200 |
| commit | 1f1627064658f036097666f0d2d91cf8fa874e17 (patch) | |
| tree | 866ec9f9fba20b5cb8d1ea801758d14a8493a81f /cfrontend | |
| parent | 679ecfeaa24c0615fa1999e9582bf2af6a9f35e7 (diff) | |
| download | compcert-1f1627064658f036097666f0d2d91cf8fa874e17.tar.gz compcert-1f1627064658f036097666f0d2d91cf8fa874e17.zip | |
Clean .foo.aux files created by coqc
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions