diff options
Diffstat (limited to 'dev-lang/mosml/ChangeLog')
| -rw-r--r-- | dev-lang/mosml/ChangeLog | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dev-lang/mosml/ChangeLog b/dev-lang/mosml/ChangeLog index 29ef4cf1b151..2a51acd27aef 100644 --- a/dev-lang/mosml/ChangeLog +++ b/dev-lang/mosml/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for dev-lang/mosml -# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/ChangeLog,v 1.9 2008/06/06 01:26:53 darkside Exp $ +# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/ChangeLog,v 1.10 2009/05/30 02:11:23 darkside Exp $ + + 30 May 2009; Jeremy Olexa <darkside@gentoo.org> mosml-2.01-r1.ebuild: + (non maintainer commit) Fix by Victor Ostorga to no longer pre-strip files, + bug 240215 *mosml-2.01-r1 (06 Jun 2008) |