diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2007-07-03 07:30:25 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2007-07-03 07:30:25 +0000 |
| commit | 8ab2fbcc05320401f368f144a5893a743d9108b8 (patch) | |
| tree | 922ab4e6db82a4244d8dfb2813c30fb3c69fa043 /app-emacs/proofgeneral/ChangeLog | |
| parent | Dropped old versions. Cleanup. Added examples use-flag. (diff) | |
| download | gentoo-2-8ab2fbcc05320401f368f144a5893a743d9108b8.tar.gz gentoo-2-8ab2fbcc05320401f368f144a5893a743d9108b8.tar.bz2 gentoo-2-8ab2fbcc05320401f368f144a5893a743d9108b8.zip | |
clean-up DEPEND; exchange manual make calls with emake; adjusted DESCRIPTION; removed pkg_postrm
(Portage version: 2.1.2.9)
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index fe4e1e72abdd..8bb7fb840dcd 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.12 2007/03/08 07:58:46 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.13 2007/07/03 07:30:25 opfer Exp $ + + 03 Jul 2007; Christian Faulhammer <opfer@gentoo.org> + proofgeneral-3.5-r1.ebuild: + clean-up DEPEND; exchange manual make calls with emake; adjusted + DESCRIPTION; removed pkg_postrm 08 Mar 2007; Christian Faulhammer <opfer@gentoo.org> files/50proofgeneral-gentoo.el: |