summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.merlin8
-rw-r--r--_tags1
2 files changed, 9 insertions, 0 deletions
diff --git a/.merlin b/.merlin
new file mode 100644
index 0000000..cfbc4ed
--- /dev/null
+++ b/.merlin
@@ -0,0 +1,8 @@
+S src
+S test
+B _build/src
+B _build/test
+PKG lwt lwt.unix
+PKG ppx_deriving.runtime ppx_deriving.show
+PKG fileutils pcre toml xml-light
+EXT lwt ounit
diff --git a/_tags b/_tags
index 84dec4a..9dc6d49 100644
--- a/_tags
+++ b/_tags
@@ -17,3 +17,4 @@
# OASIS_STOP
true: strict_sequence
+true: bin_annot