From a036e8c790a5fc882d0b31a25d3c7d726fa819e1 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 29 Aug 2018 15:42:39 +0100
Subject: sync and centralise the two .merlin files

---
 src/.merlin | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 src/.merlin

(limited to 'src')

diff --git a/src/.merlin b/src/.merlin
deleted file mode 100644
index b9fefd29..00000000
--- a/src/.merlin
+++ /dev/null
@@ -1,8 +0,0 @@
-S .
-S lem_interp/
-B _build/
-B _build/lem_interp/
-B _build/pprint/src/
-PKG zarith
-PKG linksem
-PKG lem
\ No newline at end of file
-- 
cgit v1.2.3