From e3aead1c7f9873880fb0790912531eadc7131f5d Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Tue, 7 Mar 2017 14:51:47 +0000
Subject: [PATCH] 114.35+03

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 00d93a635..85f39e57b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 _build
 *.install
+*.merlin