added .coq-native to .gitignore

hivert · hivert · commit fcb5a210b401 · 2025-09-20T17:17:59.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -24,6 +24,7 @@ Makefile.conf
 .Makefile.coq.d
 .Makefile.d
 .lia.cache
+.coq-native
 3rdparty/ALEA/.lia.cache
 *.cmi
 *.cmo
