diff options
Diffstat (limited to 'dev-libs/mps/ChangeLog')
| -rw-r--r-- | dev-libs/mps/ChangeLog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-libs/mps/ChangeLog b/dev-libs/mps/ChangeLog index 880c02d493c3..4e3f6d2a607a 100644 --- a/dev-libs/mps/ChangeLog +++ b/dev-libs/mps/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for dev-libs/mps # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-libs/mps/ChangeLog,v 1.5 2013/05/15 04:13:43 patrick Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-libs/mps/ChangeLog,v 1.6 2013/05/15 06:58:46 patrick Exp $ + + 15 May 2013; Patrick Lauer <patrick@gentoo.org> mps-1.111.0.ebuild: + Small fix to src_install *mps-1.111.0 (15 May 2013) |