diff options
| author | Brian Campbell | 2018-01-19 12:21:22 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-19 12:21:22 +0000 |
| commit | 50078b4104c4e94fc76067e661cb2646cc98e3ab (patch) | |
| tree | 47d91271ff345bfa8adc87fd661f1524cf9c4a9c /src/.merlin | |
| parent | 19424713a8a220bc94acbbb9a2817c255a6018b7 (diff) | |
Make merlin aware of findlib packages
Diffstat (limited to 'src/.merlin')
| -rw-r--r-- | src/.merlin | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/.merlin b/src/.merlin index 83e9c2bb..14aeec34 100644 --- a/src/.merlin +++ b/src/.merlin @@ -3,3 +3,6 @@ S lem_interp/ B _build/ B _build/lem_interp/ B pprint/src/_build +PKG zarith +PKG linksem +PKG lem
\ No newline at end of file |