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 /driver/Compiler.v | |
parent | 679ecfeaa24c0615fa1999e9582bf2af6a9f35e7 (diff) | |
download | compcert-1f1627064658f036097666f0d2d91cf8fa874e17.tar.gz compcert-1f1627064658f036097666f0d2d91cf8fa874e17.zip |
Clean .foo.aux files created by coqc
Diffstat (limited to 'driver/Compiler.v')
0 files changed, 0 insertions, 0 deletions