diff options
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-3.5.ebuild')
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild index d32acb6c49b6..b51f3f3ab6ba 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2004 Gentoo Technologies, Inc. +# Copyright 1999-2004 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.1 2004/06/20 13:15:13 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.2 2004/06/24 22:20:35 agriffis Exp $ SIMPLE_ELISP='nil' inherit elisp |