diff options
| author | Jon French | 2018-08-29 15:42:39 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-31 16:31:37 +0100 |
| commit | a036e8c790a5fc882d0b31a25d3c7d726fa819e1 (patch) | |
| tree | a99f54649211fd56bb3e288a16e557006270abd5 /.merlin | |
| parent | 2dd89e3b26cbf4c31d47aa4a978ade28914acb24 (diff) | |
sync and centralise the two .merlin files
Diffstat (limited to '.merlin')
| -rw-r--r-- | .merlin | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,3 +1,4 @@ +FLG -w -3 FLG -w -26 FLG -w -32 @@ -8,4 +9,4 @@ 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 +PKG num str unix uint zarith linksem lem
\ No newline at end of file |