From 6dc9f5b0846d5493018f52b6051e6ba09fc12f1c Mon Sep 17 00:00:00 2001 From: Alireza Mahmoudian Date: Tue, 28 Mar 2023 00:42:37 +0330 Subject: [PATCH] added a .gitignore --- .gitignore | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f376be8 --- /dev/null +++ b/.gitignore @@ -0,0 +1,32 @@ +.*.aux +*.a +*.cma +*.cmi +*.cmo +*.cmx +*.cmxa +*.cmxs +*.glob +*.ml.d +*.ml4.d +*.mli.d +*.mllib.d +*.mlpack.d +*.native +*.o +*.v.d +*.vio +*.vo +.coq-native/ +.csdp.cache +.lia.cache +.nia.cache +.nlia.cache +.nra.cache +csdp.cache +lia.cache +nia.cache +nlia.cache +nra.cache +*# +*.swp