adding .merlin file in the repository

jogiet · jogiet · commit 4042920424c4 · 2018-03-31T13:48:27.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -20,7 +20,4 @@ _build/
 setup.data
 setup.log
 
-# Merlin configuring file for Vim and Emacs
-.merlin
-
 *~
diff --git a/.merlin b/.merlin
@@ -0,0 +1,3 @@
+S src/
+B build/
+pkg msat minisat
