projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4f265eb)
add .merlin file.
authorKim Nguyễn <kim.nguyen@lri.fr>
Wed, 12 Oct 2016 08:41:52 +0000 (10:41 +0200)
committerKim Nguyễn <kim.nguyen@lri.fr>
Wed, 12 Oct 2016 08:41:52 +0000 (10:41 +0200)
.merlin [new file with mode: 0644] patch | blob

diff --git a/.merlin b/.merlin
new file mode 100644 (file)
index 0000000..3f62a10
--- /dev/null
+++ b/.merlin
@@ -0,0 +1,5 @@
+S src
+S src/xpath
+B src
+B src/xpath
+PKG ulex unix expat camlp4.macro bigarray
Tree Automata TOOlkit