From baf774516fd81aaff1f8a998f20f9d6a706a638f Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Sat, 13 Dec 2025 19:37:20 +0000
Subject: differentiating ignore vs. boring file & documenting

---
 .ignore | 31 ++++++++++---------------------
 1 file changed, 10 insertions(+), 21 deletions(-)

(limited to '.ignore')

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/
-- 
cgit v1.2.3