summaryrefslogtreecommitdiff
path: root/.ignore
diff options
context:
space:
mode:
Diffstat (limited to '.ignore')
-rw-r--r--.ignore31
1 files changed, 10 insertions, 21 deletions
diff --git a/.ignore b/.ignore
index 311b2ed..47a05bf 100644
--- a/.ignore
+++ b/.ignore
@@ -1,25 +1,14 @@
-/_build
+# Darcs
+_darcs/
+
+# OCaml
+_build/
+*.(a|annot|cma|cmi|cmo|cmx|cmxa|cmxs|o|merlin)
/result
/result-*
-/.direnv
-/.envrc
-
-/tmp
-/logs
-
-# NO to Microsoft
-devcontainer.json
-.*.code-workspace
-.devcontainer
-.github
-.vscode
-
-# NO to Docker
-Dockerfile
-docker-compose
+.direnv
+.envrc
-# NO to invasive configs
-.husky
-.pre-commit-config.yaml
-.pre-commit-config.yml
+tmp/
+logs/