Simplify .gitignore

inhabitedtype · Oct 15, 2022 · 95d9bbd · 95d9bbd
1 parent f965c91
commit 95d9bbd
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,12 +1,5 @@
 .*.sw[a-z]
 *~
 _build/
-_tests/
-lib_test/tests_
-setup.log
-setup.data
-*.native
-*.byte
-*.docdir
+_opam/
 *.install
-.merlin