diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2007-03-08 07:58:46 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2007-03-08 07:58:46 +0000 |
| commit | b1b14ef3055966b0f4ae2e456e01dde1ec61be71 (patch) | |
| tree | 046f5204cfaee0141b2f634d97cb8261e99f4f4b /app-emacs/proofgeneral/ChangeLog | |
| parent | add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp... (diff) | |
| download | gentoo-2-b1b14ef3055966b0f4ae2e456e01dde1ec61be71.tar.gz gentoo-2-b1b14ef3055966b0f4ae2e456e01dde1ec61be71.tar.bz2 gentoo-2-b1b14ef3055966b0f4ae2e456e01dde1ec61be71.zip | |
add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kph.uni-mainz.de>
(Portage version: 2.1.2-r9)
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 a9e6ffcb059b..fe4e1e72abdd 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.11 2007/01/28 04:26:49 genone Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.12 2007/03/08 07:58:46 opfer Exp $ + + 08 Mar 2007; Christian Faulhammer <opfer@gentoo.org> + files/50proofgeneral-gentoo.el: + add load path correctly, fixes bug 169588, reported by Ulrich Mueller + <ulm@kph.uni-mainz.de> 28 Jan 2007; Marius Mauch <genone@gentoo.org> proofgeneral-3.5.ebuild, proofgeneral-3.5-r1.ebuild: |