diff options
Diffstat (limited to 'profiles/arch/alpha/use.mask')
| -rw-r--r-- | profiles/arch/alpha/use.mask | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/arch/alpha/use.mask b/profiles/arch/alpha/use.mask index 2aa63eac281f..95eebfe21f08 100644 --- a/profiles/arch/alpha/use.mask +++ b/profiles/arch/alpha/use.mask @@ -1,6 +1,6 @@ # Copyright 2004 Gentoo Foundation. # Distributed under the terms of the GNU General Public License, v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/arch/alpha/use.mask,v 1.35 2010/05/15 17:08:15 armin76 Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/arch/alpha/use.mask,v 1.36 2010/05/16 17:02:09 armin76 Exp $ # Unmask the flag which corresponds to ARCH. -alpha @@ -62,6 +62,7 @@ ocamlopt # Stuff we don't want schroedinger +ots # Other |