diff options
| -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 |