summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSon HO2021-11-02 13:51:27 +0100
committerGitHub2021-11-02 13:51:27 +0100
commit09bfbde5ebdc60cef109b570b6c6f567a5b516b0 (patch)
treef4f914776922e8832ca7a61656266ab221a5525c /.gitignore
Initial commit
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore29
1 files changed, 29 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..a18e0840
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,29 @@
+*.annot
+*.cmo
+*.cma
+*.cmi
+*.a
+*.o
+*.cmx
+*.cmxs
+*.cmxa
+
+# ocamlbuild working directory
+_build/
+
+# ocamlbuild targets
+*.byte
+*.native
+
+# oasis generated files
+setup.data
+setup.log
+
+# Merlin configuring file for Vim and Emacs
+.merlin
+
+# Dune generated files
+*.install
+
+# Local OPAM switch
+_opam/