profiles: drop deprecated 13.0 profiles, bug #672960

The 13.0 profiles are deprecated since Feb 2019 (or earlier)
in favour of 17.0 profiles.

Closes: https://bugs.gentoo.org/672960
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

17 files changed, 0 insertions, 26 deletions

diff --git a/profiles/default/linux/alpha/13.0/deprecated b/profiles/default/linux/alpha/13.0/deprecated
deleted file mode 100644
index 15345d4866b7..000000000000
--- a/profiles/default/linux/alpha/13.0/deprecated
+++ /dev/null
@@ -1 +0,0 @@
-default/linux/alpha/17.0
diff --git a/profiles/default/linux/alpha/13.0/desktop/deprecated b/profiles/default/linux/alpha/13.0/desktop/deprecated
deleted file mode 100644
index 572c7a7d075d..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/deprecated
+++ /dev/null
@@ -1 +0,0 @@
-default/linux/alpha/17.0/desktop
diff --git a/profiles/default/linux/alpha/13.0/desktop/eapi b/profiles/default/linux/alpha/13.0/desktop/eapi
deleted file mode 100644
index 7ed6ff82de6b..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/eapi
+++ /dev/null
@@ -1 +0,0 @@
-5
diff --git a/profiles/default/linux/alpha/13.0/desktop/gnome/deprecated b/profiles/default/linux/alpha/13.0/desktop/gnome/deprecated
deleted file mode 100644
index cc40f08b5b42..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/gnome/deprecated
+++ /dev/null
@@ -1 +0,0 @@
-default/linux/alpha/17.0/desktop/gnome
diff --git a/profiles/default/linux/alpha/13.0/desktop/gnome/eapi b/profiles/default/linux/alpha/13.0/desktop/gnome/eapi
deleted file mode 100644
index 7ed6ff82de6b..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/gnome/eapi
+++ /dev/null
@@ -1 +0,0 @@
-5
diff --git a/profiles/default/linux/alpha/13.0/desktop/gnome/parent b/profiles/default/linux/alpha/13.0/desktop/gnome/parent
deleted file mode 100644
index 6589a0e01478..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/gnome/parent
+++ /dev/null
@@ -1,2 +0,0 @@
-..
-../../../../../../targets/desktop/gnome
diff --git a/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/deprecated b/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/deprecated
deleted file mode 100644
index 0de99d2db127..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/deprecated
+++ /dev/null
@@ -1 +0,0 @@
-default/linux/alpha/17.0/desktop/gnome/systemd
diff --git a/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/eapi b/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/eapi
deleted file mode 100644
index 7ed6ff82de6b..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/eapi
+++ /dev/null
@@ -1 +0,0 @@
-5
diff --git a/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/parent b/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/parent
deleted file mode 100644
index f5c1ae438de4..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/gnome/systemd/parent
+++ /dev/null
@@ -1,2 +0,0 @@
-..
-../../../../../../../targets/desktop/gnome/systemd
diff --git a/profiles/default/linux/alpha/13.0/desktop/parent b/profiles/default/linux/alpha/13.0/desktop/parent
deleted file mode 100644
index ad6c5e126fbb..000000000000
--- a/profiles/default/linux/alpha/13.0/desktop/parent
+++ /dev/null
@@ -1,2 +0,0 @@
-..
-../../../../../targets/desktop
diff --git a/profiles/default/linux/alpha/13.0/developer/deprecated b/profiles/default/linux/alpha/13.0/developer/deprecated
deleted file mode 100644
index 9e27c1788808..000000000000
--- a/profiles/default/linux/alpha/13.0/developer/deprecated
+++ /dev/null
@@ -1 +0,0 @@
-default/linux/alpha/17.0/developer
diff --git a/profiles/default/linux/alpha/13.0/developer/eapi b/profiles/default/linux/alpha/13.0/developer/eapi
deleted file mode 100644
index 7ed6ff82de6b..000000000000
--- a/profiles/default/linux/alpha/13.0/developer/eapi
+++ /dev/null
@@ -1 +0,0 @@
-5
diff --git a/profiles/default/linux/alpha/13.0/developer/parent b/profiles/default/linux/alpha/13.0/developer/parent
deleted file mode 100644
index 4c893748ce71..000000000000
--- a/profiles/default/linux/alpha/13.0/developer/parent
+++ /dev/null
@@ -1,2 +0,0 @@
-..
-../../../../../targets/developer
diff --git a/profiles/default/linux/alpha/13.0/eapi b/profiles/default/linux/alpha/13.0/eapi
deleted file mode 100644
index 7ed6ff82de6b..000000000000
--- a/profiles/default/linux/alpha/13.0/eapi
+++ /dev/null
@@ -1 +0,0 @@
-5
diff --git a/profiles/default/linux/alpha/13.0/parent b/profiles/default/linux/alpha/13.0/parent
deleted file mode 100644
index 7c0377510996..000000000000
--- a/profiles/default/linux/alpha/13.0/parent
+++ /dev/null
@@ -1,2 +0,0 @@
-..
-../../../../releases/13.0
diff --git a/profiles/default/linux/alpha/13.0/use.mask b/profiles/default/linux/alpha/13.0/use.mask
deleted file mode 100644
index 66abcb4373f8..000000000000
--- a/profiles/default/linux/alpha/13.0/use.mask
+++ /dev/null
@@ -1,3 +0,0 @@
-# Anthony G. Basile <blueness@gentoo.org> (15 Apr 2012)
-# Pulls in net-libs/axtls which is not keyworded for arch
-curl_ssl_axtls
diff --git a/profiles/default/linux/alpha/13.0/use.stable.mask b/profiles/default/linux/alpha/13.0/use.stable.mask
deleted file mode 100644
index f54e7a1f560a..000000000000
--- a/profiles/default/linux/alpha/13.0/use.stable.mask
+++ /dev/null
@@ -1,3 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-