about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorAndinus <andinus@nand.sh>2020-06-17 19:21:10 +0530
committerAndinus <andinus@nand.sh>2020-06-17 19:21:10 +0530
commitc0cf802d775588d90a67800ae659aee6cfd632cb (patch)
tree20cfd6676f91d9c4a92c77a788ebe3071bcb0eda
parentf3d1bc5f9d86300c42d6a57a9f60bd508bdf9bb4 (diff)
downloadcrux-c0cf802d775588d90a67800ae659aee6cfd632cb.tar.gz
Add .gitignore
-rw-r--r--.gitignore31
1 files changed, 31 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..37a09bc
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,31 @@
+/.build/
+/_build/
+/Build
+/Build.bat
+/blib
+/Makefile
+/pm_to_blib
+
+/carton.lock
+/.carton/
+/local/
+
+nytprof.out
+nytprof/
+
+cover_db/
+
+*.bak
+*.old
+*~
+*.swp
+*.o
+*.obj
+
+!LICENSE
+
+/_build_params
+
+MYMETA.*
+
+/App-Crux-*