From 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 21 Sep 2018 15:09:08 +0100
Subject: Remove cheri and mips specs -- they now have their own repository.

---
 mips/_CoqProject | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 mips/_CoqProject

(limited to 'mips/_CoqProject')

diff --git a/mips/_CoqProject b/mips/_CoqProject
deleted file mode 100644
index ad38d28d..00000000
--- a/mips/_CoqProject
+++ /dev/null
@@ -1,2 +0,0 @@
--R ../../bbv/theories bbv
--R ../lib/coq Sail
\ No newline at end of file
-- 
cgit v1.2.3