aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index f7817ae..71dcd26 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,8 @@
10 10
11# ocamlbuild working directory 11# ocamlbuild working directory
12_build/ 12_build/
13._d/
14._ncdi/
13 15
14# ocamlbuild targets 16# ocamlbuild targets
15*.byte 17*.byte
@@ -18,3 +20,6 @@ _build/
18# oasis generated files 20# oasis generated files
19setup.data 21setup.data
20setup.log 22setup.log
23
24# binaries
25urm