From 8f08a16835cfc81c8cf65c921265bc4e29d327bb Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 30 Jul 2022 12:15:37 +0100
Subject: Remove _CoqProject

---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 _CoqProject

diff --git a/_CoqProject b/_CoqProject
deleted file mode 100644
index 872ea42..0000000
--- a/_CoqProject
+++ /dev/null
@@ -1 +0,0 @@
--Q . predaware -R ../vericert/src vericert  -R ../vericert/lib/CompCert/lib compcert.lib  -R ../vericert/lib/CompCert/common compcert.common  -R ../vericert/lib/CompCert/verilog compcert.verilog  -R ../vericert/lib/CompCert/backend compcert.backend  -R ../vericert/lib/CompCert/cfrontend compcert.cfrontend  -R ../vericert/lib/CompCert/driver compcert.driver  -R ../vericert/lib/CompCert/cparser compcert.cparser -R ../vericert/lib/CompCert/flocq Flocq -R ../vericert/lib/CompCert/MenhirLib MenhirLib
-- 
cgit