aboutsummaryrefslogtreecommitdiff
path: root/.merlin
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2016-11-15 13:00:01 +0100
committerSébastien Dailly <sebastien@chimrod.com>2016-11-15 13:00:01 +0100
commitef312564ca84a2b49fc291434d8fb2f8501bb618 (patch)
tree79415fcf225e6da1042c8edaae5e4a74c7a983cb /.merlin
Initial commit
Diffstat (limited to '.merlin')
-rwxr-xr-x.merlin7
1 files changed, 7 insertions, 0 deletions
diff --git a/.merlin b/.merlin
new file mode 100755
index 0000000..a3f38e6
--- /dev/null
+++ b/.merlin
@@ -0,0 +1,7 @@
+PKG num curses camlzip ezxmlm uutf text calendar oUnit menhirLib
+S .
+S odf/*
+S tests/*
+B _build/
+B _build/*
+