diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-08-28 16:57:03 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-08-28 16:57:03 +0000 |
commit | 0aca1537ef398dff2b44a99170523ef848ca5792 (patch) | |
tree | b50be15d2ff220842d4ddc6e9ffce1a451e1cd2c | |
parent | 71f139d5aefb277544d36be447ee4425c5cc8941 (diff) |
Deleted file
-rw-r--r-- | Makefile.xemacs | 14 |
1 files changed, 0 insertions, 14 deletions
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 -## - |