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 | 0fe0a58ecec45791563e6566cbf86f7d9b90a868 (patch) | |
| tree | fbeb0f49182ab7c587e89e7c282f23fef020f785 /profiles | |
| parent | amd64/x86 stable, bug #263316 (diff) | |
| download | gentoo-2-0fe0a58ecec45791563e6566cbf86f7d9b90a868.tar.gz gentoo-2-0fe0a58ecec45791563e6566cbf86f7d9b90a868.tar.bz2 gentoo-2-0fe0a58ecec45791563e6566cbf86f7d9b90a868.zip | |
remove obsolete masks for mlton(-bin)
Diffstat (limited to 'profiles')
| -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 |