diff options
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index ca6203b0ea84..b7ed63349b8c 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.21 2008/03/31 06:18:49 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.22 2008/04/12 08:58:07 nixnut Exp $ + + 12 Apr 2008; nixnut <nixnut@gentoo.org> proofgeneral-3.7.ebuild: + Stable on ppc wrt bug 215344 31 Mar 2008; Christian Faulhammer <opfer@gentoo.org> proofgeneral-3.7.ebuild: |