Update .gitignore with .coq-native

mit-plv · Dec 15, 2021 · 5bbc402 · 5bbc402
1 parent 1df3755
commit 5bbc402
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,4 @@ Kami/Ext/*
 *.DS_Store
 .lia.cache
 .nia.cache
+.coq-native