diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2021-12-04 11:45:24 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-04-25 16:38:45 +0200 |
commit | 111fda0f629b68138f9d816a4e6a86f7c292f2a2 (patch) | |
tree | 485236387014b3036ca877425534572f2a5077eb | |
parent | 9aacc59135071a979623ab177819cdbe9ce27056 (diff) | |
download | compcert-111fda0f629b68138f9d816a4e6a86f7c292f2a2.tar.gz compcert-111fda0f629b68138f9d816a4e6a86f7c292f2a2.zip |
Ignore .coq-native directories.
-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 |