From e2530e78deda5cf6be2111951efb8ea747af7fa8 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Thu, 2 Apr 2015 13:31:52 +0200
Subject: Broken global Makefile

---
 mathcomp/_CoqProject | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 mathcomp/_CoqProject

(limited to 'mathcomp/_CoqProject')

diff --git a/mathcomp/_CoqProject b/mathcomp/_CoqProject
new file mode 100644
index 0000000..9e1621c
--- /dev/null
+++ b/mathcomp/_CoqProject
@@ -0,0 +1 @@
+-R . mathcomp
\ No newline at end of file
-- 
cgit v1.2.3