diff options
| author | Jon French | 2017-08-02 06:12:03 +0100 |
|---|---|---|
| committer | Jon French | 2017-08-02 06:16:25 +0100 |
| commit | 0da449b2fdf892d485f700d33620d31802944ef6 (patch) | |
| tree | 08af53ea8c33e42813f68f1af8e8397addc20450 /.merlin | |
| parent | 5bd5dff99c934dccae8b96d36d4aaa5dead097e9 (diff) | |
add .merlin file
Diffstat (limited to '.merlin')
| -rw-r--r-- | .merlin | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.merlin b/.merlin new file mode 100644 index 00000000..d76ab020 --- /dev/null +++ b/.merlin @@ -0,0 +1,8 @@ +S src +S src/contrib/** +S src/gen_lib/** +S src/lem_interp/** +S src/pprint/** +S src/test/** +B src/_build/** +PKG num str unix uint zarith
\ No newline at end of file |