diff options
| author |   Kacper Kowalik <xarthisius@gentoo.org> | 2012-05-01 10:34:56 +0000 |
|---|---|---|
| committer | Kacper Kowalik <xarthisius@gentoo.org> | 2012-05-01 10:34:56 +0000 |
| commit | 96efb58e878d57818225f74d0e29250566d67ad1 (patch) | |
| tree | 9ae93c59cee69d37591d6ee58e107b928a996910 /dev-python/cvxopt/ChangeLog | |
| parent | Remove obsolete mask for media-libs/tunepimp. (diff) | |
| download | gentoo-2-96efb58e878d57818225f74d0e29250566d67ad1.tar.gz gentoo-2-96efb58e878d57818225f74d0e29250566d67ad1.tar.bz2 gentoo-2-96efb58e878d57818225f74d0e29250566d67ad1.zip | |
Remove pregenerated sphinx build directory. Fixes bug 413905 by Martin von Gagern <Martin.vGagern@gmx.net>
(Portage version: 2.2.0_alpha100/cvs/Linux x86_64)
Diffstat (limited to 'dev-python/cvxopt/ChangeLog')
| -rw-r--r-- | dev-python/cvxopt/ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/dev-python/cvxopt/ChangeLog b/dev-python/cvxopt/ChangeLog index 8374748f08d7..443f74100bea 100644 --- a/dev-python/cvxopt/ChangeLog +++ b/dev-python/cvxopt/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for dev-python/cvxopt # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-python/cvxopt/ChangeLog,v 1.5 2012/04/19 20:56:11 bicatali Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-python/cvxopt/ChangeLog,v 1.6 2012/05/01 10:34:56 xarthisius Exp $ + + 01 May 2012; Kacper Kowalik <xarthisius@gentoo.org> cvxopt-1.1.4-r1.ebuild, + cvxopt-1.1.5.ebuild: + Remove pregenerated sphinx build directory. Fixes bug 413905 by Martin von + Gagern <Martin.vGagern@gmx.net> *cvxopt-1.1.5 (19 Apr 2012) |