aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-03-05 23:42:15 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-03-05 23:42:15 -0300
commit8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5 (patch)
tree84f9ddd9e41236fb7a6f540aab07e65db9bc93cb /.gitignore
parent295c6a5a1f2b0db9d756ffe7bf413553a0c02737 (diff)
downloadSakura-8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5.tar.gz
Sakura-8c640a262969ef44cd8bc0e0abe95e2a54f4c3f5.zip
ocaml re-migration
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore7
1 files changed, 0 insertions, 7 deletions
diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index 2f4880d..0000000
--- a/.gitignore
+++ /dev/null
@@ -1,7 +0,0 @@
-.direnv
-_build
-Mnesia.*
-
-# EDoc generated files
-doc/
-!doc/overview.edoc