From 3be488a91010ffda8e320b0b3b0fd2d7f204a735 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Jan 2018 20:55:09 -0600 Subject: [PATCH] remove merlin file --- src/unix/.merlin | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 src/unix/.merlin diff --git a/src/unix/.merlin b/src/unix/.merlin deleted file mode 100644 index d86c675f..00000000 --- a/src/unix/.merlin +++ /dev/null @@ -1,5 +0,0 @@ -B ../../_build/default/src/unix -FLG -w -40 -w +a-4-42-44-48-50-58-32-60@8 -safe-string -PKG bytes -PKG result -PKG unix