aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2016-06-28 16:51:59 +0200
committerGravatar Emilio Jesus Gallego Arias <e+git@x80.org>2016-11-30 22:56:00 +0100
commitf35eb5737fcdc1430eb45372d5bb99109d0216a2 (patch)
treedfb84e2f73fcdf6f67b1660647b0b51e0eb1185f
parent3e6fa1cbdc0ec145728089000595b6ea29f37a4c (diff)
[merlin] Adjust merlin for ide.
-rw-r--r--.merlin2
-rw-r--r--ide/.merlin2
2 files changed, 3 insertions, 1 deletions
diff --git a/.merlin b/.merlin
index 7ae642233..24226a918 100644
--- a/.merlin
+++ b/.merlin
@@ -2,6 +2,8 @@ FLG -rectypes -thread
S config
B config
+S ide
+B ide
S lib
B lib
S intf
diff --git a/ide/.merlin b/ide/.merlin
index 3f3d9d275..953b5dce4 100644
--- a/ide/.merlin
+++ b/ide/.merlin
@@ -1,4 +1,4 @@
-PKG lablgtk2.sourceview2
+PKG unix laglgtk2 lablgtk2.sourceview2
S utils
B utils