diff options
Diffstat (limited to '.merlin.in')
| -rw-r--r-- | .merlin.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.merlin.in b/.merlin.in index fa3473765d..80b0b600eb 100644 --- a/.merlin.in +++ b/.merlin.in @@ -54,3 +54,4 @@ S plugins/** B plugins/** PKG threads.posix +PKG zarith
\ No newline at end of file |