From 67824b333a7b520bd656124a09286f1b7475d207 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 16 Sep 2014 22:11:36 +0200 Subject: [PATCH] .merlin --- .merlin | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.merlin b/.merlin index 8d5ebfe5..728816da 100644 --- a/.merlin +++ b/.merlin @@ -1,11 +1,13 @@ S core S misc S string +S pervasives S tests S examples B _build/core B _build/misc B _build/string +B _build/pervasives B _build/tests B _build/examples PKG oUnit