aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorpacien2018-04-21 14:24:33 +0200
committerpacien2018-04-21 14:24:33 +0200
commit48b18b8e9fbaa38df427b3d435ab6f73c5da0db5 (patch)
tree9681760a78eda79f52c369610caa466a8c27bc54 /.gitignore
parent3f25710a891dfcd17f597c16dfedf5499bc1bbd6 (diff)
downloadurm-48b18b8e9fbaa38df427b3d435ab6f73c5da0db5.tar.gz
Add test
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