diff options
| -rw-r--r-- | src/.merlin | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/.merlin b/src/.merlin index a55fccb1..0ba94944 100644 --- a/src/.merlin +++ b/src/.merlin @@ -1,2 +1,4 @@ S . +S lem_interp/ B _build/ +B _build/lem_interp/ |