From f6ce65b4d49f0a3a3af7e0e7811934136f59943c Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 8 Jun 2016 15:13:13 +0200
Subject: remove grammar/grammar.mllib

 grammar.cma is built by Makefile.build in a specific, hardcoded way.
 Let's remove this old .mllib file to avoid potential confusions in
 the future.
---
 grammar/grammar.mllib | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 grammar/grammar.mllib

(limited to 'grammar')

diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib
deleted file mode 100644
index 6c3ce7f03..000000000
--- a/grammar/grammar.mllib
+++ /dev/null
@@ -1,5 +0,0 @@
-GramCompat
-Q_util
-Argextend
-Tacextend
-Vernacextend
-- 
cgit v1.2.3