aboutsummaryrefslogtreecommitdiff
path: root/.merlin
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-06-19 08:31:23 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-06-19 10:16:01 +0200
commite15df3a924abed6135477bac0837a7fde250f02d (patch)
tree5f8e59c2aeadefa73e1c4faf9306937f91b5371a /.merlin
parent8db278b1e6331d55ef6aa11964c88144af3c4fce (diff)
Moved catalog in its own module
Diffstat (limited to '.merlin')
-rwxr-xr-x.merlin2
1 files changed, 1 insertions, 1 deletions
diff --git a/.merlin b/.merlin
index 3194a14..adf0649 100755
--- a/.merlin
+++ b/.merlin
@@ -1,4 +1,4 @@
-PKG num curses camlzip ezxmlm uutf text oUnit menhirLib
+PKG num curses camlzip ezxmlm text oUnit menhirLib
S .
S odf/*
S tests/*