diff options
| author |   Fabian Groffen <grobian@gentoo.org> | 2019-02-20 09:04:17 +0100 |
|---|---|---|
| committer | Fabian Groffen <grobian@gentoo.org> | 2019-02-20 09:04:17 +0100 |
| commit | 7dd8436b77c2b9f4a5a41768f472477b12880a00 (patch) | |
| tree | 38b217480c47d1b378943e7b8e52d9eaa039575f /media-sound/pitchtune | |
| parent | sys-cluster/util-vserver: add missing patch. (diff) | |
| download | gentoo-7dd8436b77c2b9f4a5a41768f472477b12880a00.tar.gz gentoo-7dd8436b77c2b9f4a5a41768f472477b12880a00.tar.bz2 gentoo-7dd8436b77c2b9f4a5a41768f472477b12880a00.zip | |
profiles: remove prefix/linux-standalone deprecated profiles
Closes: https://bugs.gentoo.org/673278
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Diffstat (limited to 'media-sound/pitchtune')
0 files changed, 0 insertions, 0 deletions