From 0aca1537ef398dff2b44a99170523ef848ca5792 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2006 16:57:03 +0000
Subject: Deleted file

---
 Makefile.xemacs | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 Makefile.xemacs

diff --git a/Makefile.xemacs b/Makefile.xemacs
deleted file mode 100644
index 04d34381..00000000
--- a/Makefile.xemacs
+++ /dev/null
@@ -1,14 +0,0 @@
-##
-## Makefile for Proof General XEmacs package.
-## 
-## Author:  David Aspinall <da@dcs.ed.ac.uk>
-##
-## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
-##
-## $Id$
-##
-## Developer use only, not part of distribution.
-##
-##   make pkg	- Make XEmacs format package of Proof General
-## 
-
-- 
cgit v1.2.3