diff options
| author | Gabriel Kerneis | 2013-10-04 16:33:00 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-04 16:33:00 +0100 |
| commit | 1833a86e621413fe526315b26615ecc28242da28 (patch) | |
| tree | 30250fea2983def99324e2c226b4d218419452fe | |
| parent | 59743ba08d0f3a3237b5316a7395ead732199ed8 (diff) | |
Merlin boilerplate
https://github.com/def-lkb/merlin
| -rw-r--r-- | src/.merlin | 2 | ||||
| -rw-r--r-- | src/_tags | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/.merlin b/src/.merlin new file mode 100644 index 00000000..a55fccb1 --- /dev/null +++ b/src/.merlin @@ -0,0 +1,2 @@ +S . +B _build/ diff --git a/src/_tags b/src/_tags new file mode 100644 index 00000000..05e3b193 --- /dev/null +++ b/src/_tags @@ -0,0 +1,3 @@ +true: -traverse, debug +<**/*.ml>: bin_annot, annot + |