From 32da9db5a1782cdca47cb83ce3c9129d5e8917da Mon Sep 17 00:00:00 2001
From: lionpaha12 <darwoshine@gmail.com>
Date: Tue, 29 Jul 2025 09:41:56 +0800
Subject: [PATCH] Delete Coq.gitignore

---
 Coq.gitignore | 45 ---------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 Coq.gitignore

diff --git a/Coq.gitignore b/Coq.gitignore
deleted file mode 100644
index 66596b22..00000000
--- a/Coq.gitignore
+++ /dev/null
@@ -1,45 +0,0 @@
-.*.aux
-.*.d
-*.a
-*.cma
-*.cmi
-*.cmo
-*.cmx
-*.cmxa
-*.cmxs
-*.glob
-*.ml.d
-*.ml4.d
-*.mlg.d
-*.mli.d
-*.mllib.d
-*.mlpack.d
-*.native
-*.o
-*.v.d
-*.vio
-*.vo
-*.vok
-*.vos
-.coq-native
-.csdp.cache
-.lia.cache
-.nia.cache
-.nlia.cache
-.nra.cache
-csdp.cache
-lia.cache
-nia.cache
-nlia.cache
-nra.cache
-native_compute_profile_*.data
-
-# generated timing files
-*.timing.diff
-*.v.after-timing
-*.v.before-timing
-*.v.timing
-time-of-build-after.log
-time-of-build-before.log
-time-of-build-both.log
-time-of-build-pretty.log