From 04c3cd732ba75f22580b8cae4f8e6a64151d1a1a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 4 Nov 2019 16:26:23 +0000
Subject: Add Makefile and _CoqProject

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..b08c163
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1 @@
+-R CoqUp CoqUp
-- 
cgit