diff options
| author |   Olivier Crête <tester@gentoo.org> | 2005-08-28 02:35:19 +0000 |
|---|---|---|
| committer | Olivier Crête <tester@gentoo.org> | 2005-08-28 02:35:19 +0000 |
| commit | af51415c84a972d0e53d51e32dddbdfd6a139d86 (patch) | |
| tree | 6a6f27ccaf2013d90ffcab93e141e7c80b1af66f /app-emacs/proofgeneral/ChangeLog | |
| parent | Stable on amd64 and x86. (diff) | |
| download | historical-af51415c84a972d0e53d51e32dddbdfd6a139d86.tar.gz historical-af51415c84a972d0e53d51e32dddbdfd6a139d86.tar.bz2 historical-af51415c84a972d0e53d51e32dddbdfd6a139d86.zip | |
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
Package-Manager: portage-2.0.51.22-r2
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 3c45fc8e66ef..2760be30a5c7 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # 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 $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.9 2005/08/28 02:21:25 tester Exp $ + + 28 Aug 2005; Olivier Crête <tester@gentoo.org> proofgeneral-3.5.ebuild: + Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing 09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild, proofgeneral-3.5.ebuild: |