From 318fc2c04df1e73cc8a178d4fc1ce8bf5543649b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 1 Jun 2016 17:06:25 +0200
Subject: Move ide serialization libraries from lib/ to ide/

This makes the core free from particular protocol choices.

It should help with the ppx serialization project and shrinks clib.cma a
bit.
---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4f8c019f4..06cac2fee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -112,7 +112,7 @@ tools/coqwc.ml
 tools/coqdep_lexer.ml
 tools/ocamllibdep.ml
 tools/coqdoc/cpretty.ml
-lib/xml_lexer.ml
+ide/xml_lexer.ml
 
 # .ml4 files
 
-- 
cgit v1.2.3