diff options
| author |   Marijn Schouten <hkbst@gentoo.org> | 2009-03-22 17:07:55 +0000 |
|---|---|---|
| committer | Marijn Schouten <hkbst@gentoo.org> | 2009-03-22 17:07:55 +0000 |
| commit | d2f1c69e2f06350d55f9a2505249ce64c5cea9f4 (patch) | |
| tree | 3ad089ff19df108dd7135de773c5612e0afaa721 | |
| parent | amd64/x86 stable, bug #263316 (diff) | |
| download | historical-d2f1c69e2f06350d55f9a2505249ce64c5cea9f4.tar.gz historical-d2f1c69e2f06350d55f9a2505249ce64c5cea9f4.tar.bz2 historical-d2f1c69e2f06350d55f9a2505249ce64c5cea9f4.zip | |
remove obsolete masks for mlton(-bin)
| -rw-r--r-- | profiles/package.mask | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 6a74043258b8..b25a8580b55f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.9597 2009/03/22 16:00:22 matsuu Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.9598 2009/03/22 17:07:55 hkbst Exp $ # # When you add an entry to the top of this file, add your name, the date, and # an explanation of why something is getting masked. Please be extremely @@ -826,12 +826,6 @@ x11-libs/lesstif # Superseded by vdr-dvdswitch and no longer maintained media-plugins/vdr-dvdselect -# Marijn Schouten <hkBst@gentoo.org> (14 Apr 2008) -# binary package, now subsumed by binary use flag on mlton itself -# will be removed -dev-lang/mlton-bin -=dev-lang/mlton-20040227 - # Gilles Dartiguelongue <eva@gentoo.org> (12 Apr 2008) # Masking gnome-system-tools because it is broken, # to help fix it, see bug #214265 |