From 3e99b3807b4380cbb6b875fa6c67a8ee921b2494 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 15 Oct 2018 23:11:03 +0200
Subject: Removing the Camlp5 macros from CLexer.

We partially hand-translated so as to result in the minimal diff possible.
---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 63da6b4d0e..f741135211 100644
--- a/.gitignore
+++ b/.gitignore
@@ -135,7 +135,6 @@ coqpp/coqpp_parse.mli
 g_*.ml
 
 lib/coqProject_file.ml
-parsing/cLexer.ml
 plugins/ltac/coretactics.ml
 plugins/ltac/extratactics.ml
 plugins/ltac/extraargs.ml
-- 
cgit v1.2.3