diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,6 +13,7 @@ .*.aux *.cmti *.cmt +.coq-native # Emacs saves *~ # Executables and configuration |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |