diff options
Diffstat (limited to '.merlin')
-rw-r--r-- | .merlin | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,7 +1,5 @@ FLG -rectypes -thread -safe-string -w +a-4-9-27-41-42-44-45-48-50 -S ltac -B ltac S config B config S ide @@ -46,4 +44,7 @@ B tools/coqdoc S dev B dev +S plugins/** +B plugins/** + PKG threads.posix camlp5 |