diff options
| author |   Georgy Yakovlev <gyakovlev@gentoo.org> | 2021-11-18 00:30:31 -0800 |
|---|---|---|
| committer | Georgy Yakovlev <gyakovlev@gentoo.org> | 2021-11-18 00:31:07 -0800 |
| commit | 65f0591eaa930a0934eca6140ad0e1ad6bd5ade9 (patch) | |
| tree | 51dc0c5fdd41660f0b073a44e93f907701539412 | |
| parent | media-sound/abcmidi: removed obsolete 2021.09.15 (diff) | |
| download | gentoo-65f0591eaa930a0934eca6140ad0e1ad6bd5ade9.tar.gz gentoo-65f0591eaa930a0934eca6140ad0e1ad6bd5ade9.tar.bz2 gentoo-65f0591eaa930a0934eca6140ad0e1ad6bd5ade9.zip | |
profiles/profiles.desc: fix whitespace
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
| -rw-r--r-- | profiles/profiles.desc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/profiles/profiles.desc b/profiles/profiles.desc index 721f44db4b3d..9bb8c3180122 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -170,14 +170,14 @@ ppc64 default/linux/powerpc/ppc64/17.0/64bit-userland/developer exp # PPC/PPC64 flat Profiles # @MAINTAINER: gyakovlev@gentoo.org, ppc64@gentoo.org, musl@gentoo.org -ppc default/linux/ppc/17.0 exp -ppc default/linux/ppc/17.0/desktop exp -ppc default/linux/ppc/17.0/desktop/gnome exp -ppc default/linux/ppc/17.0/desktop/gnome/systemd exp -ppc default/linux/ppc/17.0/systemd exp -ppc default/linux/ppc/17.0/developer exp -ppc default/linux/ppc/17.0/musl exp -ppc default/linux/ppc/17.0/musl/hardened exp +ppc default/linux/ppc/17.0 exp +ppc default/linux/ppc/17.0/desktop exp +ppc default/linux/ppc/17.0/desktop/gnome exp +ppc default/linux/ppc/17.0/desktop/gnome/systemd exp +ppc default/linux/ppc/17.0/systemd exp +ppc default/linux/ppc/17.0/developer exp +ppc default/linux/ppc/17.0/musl exp +ppc default/linux/ppc/17.0/musl/hardened exp ppc64 default/linux/ppc64/17.0 stable ppc64 default/linux/ppc64/17.0/desktop stable ppc64 default/linux/ppc64/17.0/desktop/gnome stable |