diff options
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index c24d2f81cc6e..3c45fc8e66ef 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,6 @@ # ChangeLog for app-emacs/proofgeneral -# Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.7 2004/10/09 14:08:23 mattam Exp $ +# Copyright 2000-2005 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.8 2005/01/01 13:56:51 eradicator Exp $ 09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild, proofgeneral-3.5.ebuild: |