diff options
| author |   Samuli Suominen <drac@gentoo.org> | 2007-05-29 16:31:01 +0000 |
|---|---|---|
| committer | Samuli Suominen <drac@gentoo.org> | 2007-05-29 16:31:01 +0000 |
| commit | 64df7421a14505562155b67bd63648e606f23b5e (patch) | |
| tree | 8d2f67a4f35016a5c0cf8f044d4303daea9054b5 /profiles | |
| parent | Corrected parallel make problem. (diff) | |
| download | gentoo-2-64df7421a14505562155b67bd63648e606f23b5e.tar.gz gentoo-2-64df7421a14505562155b67bd63648e606f23b5e.tar.bz2 gentoo-2-64df7421a14505562155b67bd63648e606f23b5e.zip | |
Unmask xfce-mcs-plugins introducing UI configurable DPI settings in User Interface.
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 335ad3ef42a0..e16f273ff91e 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.7311 2007/05/29 00:36:10 wltjr Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.7312 2007/05/29 16:31:01 drac Exp $ # When you add an entry to this file, add your name, the date, and an # explanation of why something is getting masked # @@ -36,13 +36,6 @@ dev-libs/dbh >=dev-ml/ulex-1.0 >=dev-ml/ocamlduce-3.10.0 -# Samuli Suominen <drac@gentoo.org> (26 May 2007) -# Masked for testing and because it might not get -# applied unchanged. This change adds option to -# change DPI into User Interface settings. -# http://bugzilla.xfce.org/show_bug.cgi?id=3164 -=xfce-base/xfce-mcs-plugins-4.4.1-r1 - # Luca Barbato <lu_zero@gentoo.org> (26 May 2007) # Temp mask for ffmpeg =media-video/ffmpeg-0.4.9_p20070525 |