diff options
author | 2019-11-02 11:27:26 +0000 | |
---|---|---|
committer | 2019-11-02 11:50:34 +0000 | |
commit | b325703f8b9910150bb9b823245f39203ed388b5 (patch) | |
tree | 921bbfeee9f602c67810d1b4ae98afbcdf76e750 /dev-ros/calibration_estimation/Manifest | |
parent | x11-themes/papirus-icon-theme: Version bump (v20191101) (diff) | |
download | gentoo-b325703f8b9910150bb9b823245f39203ed388b5.tar.gz gentoo-b325703f8b9910150bb9b823245f39203ed388b5.tar.bz2 gentoo-b325703f8b9910150bb9b823245f39203ed388b5.zip |
profiles: Mask x11-themes/arc-theme[gnome-shell] in SELinux profiles
gnome-base/gnome-shell is also masked here.
Signed-off-by: James Le Cuirot <chewi@gentoo.org>
Diffstat (limited to 'dev-ros/calibration_estimation/Manifest')
0 files changed, 0 insertions, 0 deletions