From 5506f577abb869110fbce5a55d3bc545c3622c99 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 22 Jan 2020 18:30:46 +0000
Subject: Fix project links

---
 _CoqProject | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 88ff260..12eb8b7 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,2 +1,2 @@
--R CoqUp CoqUp
--R lib/bbv/src/bbv bbv
\ No newline at end of file
+-R src/CoqUp CoqUp
+-R lib/bbv/src/bbv bbv
-- 
cgit