From da9d209870b350c62c40dc1062d358e543682b33 Mon Sep 17 00:00:00 2001 From: Aaron Bauman Date: Sat, 27 Jul 2019 11:28:53 -0400 Subject: [PATCH] profiles: mark desktop and dev profile as dev Signed-off-by: Aaron Bauman --- profiles/profiles.desc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/profiles/profiles.desc b/profiles/profiles.desc index e430b02748db..5ef9c2c0901c 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -88,13 +88,13 @@ arm default/linux/arm/17.0/armv7a/developer dev # ARM64 Profiles # @MAINTAINER: arm64@gentoo.org arm64 default/linux/arm64/17.0 dev -arm64 default/linux/arm64/17.0/desktop exp +arm64 default/linux/arm64/17.0/desktop dev arm64 default/linux/arm64/17.0/desktop/gnome dev arm64 default/linux/arm64/17.0/desktop/gnome/systemd dev arm64 default/linux/arm64/17.0/desktop/plasma dev arm64 default/linux/arm64/17.0/desktop/plasma/systemd dev arm64 default/linux/arm64/17.0/desktop/systemd dev -arm64 default/linux/arm64/17.0/developer exp +arm64 default/linux/arm64/17.0/developer dev arm64 default/linux/arm64/17.0/systemd dev # ARM64 Profiles (big-endian) -- 2.26.2