From 1f406d89953d5005ae815025e23173fc5185e637 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Jan 2008 10:43:29 +0000
Subject: Deleted file

---
 generic/_pkg.el | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 generic/_pkg.el

(limited to 'generic')

diff --git a/generic/_pkg.el b/generic/_pkg.el
deleted file mode 100644
index 97a893ec..00000000
--- a/generic/_pkg.el
+++ /dev/null
@@ -1,4 +0,0 @@
-;;;###autoload
-(package-provide 'ProofGeneral
-		 :version "3.3pre010320"
-		 :type 'regular)
-- 
cgit v1.2.3