From de0c19e00194daf0336fc7799f2f2987a2215109 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 9 Jan 2019 17:11:49 +0000
Subject: Update Coq snapshots

---
 snapshots/coq/README | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 snapshots/coq/README

(limited to 'snapshots/coq/README')

diff --git a/snapshots/coq/README b/snapshots/coq/README
deleted file mode 100644
index bd7f12d0..00000000
--- a/snapshots/coq/README
+++ /dev/null
@@ -1,2 +0,0 @@
-Check out a copy of https://github.com/mit-plv/bbv in the parent directory and
-build it.  Then run ./build.
-- 
cgit v1.2.3