From a5469e28334b93435a0e136713821d1c3f1fd880 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 13 Nov 2018 22:53:15 +0100
Subject: put protocol/ in ide/.merlin

---
 ide/.merlin.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ide/.merlin.in b/ide/.merlin.in
index 953b5dce4c..4dc6f45550 100644
--- a/ide/.merlin.in
+++ b/ide/.merlin.in
@@ -2,5 +2,7 @@ PKG unix laglgtk2 lablgtk2.sourceview2
 
 S utils
 B utils
+S protocol
+B protocol
 
 REC
-- 
cgit v1.2.3