diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2008-01-07 17:26:44 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2008-01-07 17:26:44 +0000 |
| commit | 2bee414067c7836df4b484edc7b599b12c43fdbd (patch) | |
| tree | f504013b9f3fa808fd627555b9c8dd963804da24 /profiles/default-linux/hppa/ChangeLog | |
| parent | err fix changelog, Martin, not Martic (diff) | |
| download | gentoo-2-2bee414067c7836df4b484edc7b599b12c43fdbd.tar.gz gentoo-2-2bee414067c7836df4b484edc7b599b12c43fdbd.tar.bz2 gentoo-2-2bee414067c7836df4b484edc7b599b12c43fdbd.zip | |
Masked USE=ocamlopt (in accordance with bug #179895).
Diffstat (limited to 'profiles/default-linux/hppa/ChangeLog')
| -rw-r--r-- | profiles/default-linux/hppa/ChangeLog | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/profiles/default-linux/hppa/ChangeLog b/profiles/default-linux/hppa/ChangeLog index c6e404d653c9..fd51ecc638fe 100644 --- a/profiles/default-linux/hppa/ChangeLog +++ b/profiles/default-linux/hppa/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for hppa profile -# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/default-linux/hppa/ChangeLog,v 1.28 2007/12/15 18:19:52 jer Exp $ +# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/profiles/default-linux/hppa/ChangeLog,v 1.29 2008/01/07 17:26:44 jer Exp $ + + 07 Jan 2008; Jeroen Roovers <jer@gentoo.org> use.mask: + Masked USE=ocamlopt (in accordance with bug #179895). 15 Dec 2007; Jeroen Roovers <jer@gentoo.org> package.use.mask: Removing useless mask. |