From 74626963731ccceba54e7a26cce8ea342e0fc646 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Mon, 24 Dec 2018 16:15:53 -0500
Subject: [emacs][wip] remove all the package submodules

---
 lib/proof-site | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 lib/proof-site

(limited to 'lib/proof-site')

diff --git a/lib/proof-site b/lib/proof-site
deleted file mode 160000
index f7cc8f1..0000000
--- a/lib/proof-site
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit f7cc8f1f76baf5e517e51f1db47510ed605064e8
-- 
cgit v1.2.3-60-g2f50