From 0a09d1027bf8486204c0922321565ce9d84e8744 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Sun, 27 Jan 2019 10:31:12 +0000 Subject: [PATCH] profiles/default/linux/sh: deprecated 13.0 profiles Suggest using plain 'default/linux/sh/17.0' instead. Closes: https://bugs.gentoo.org/673272 Signed-off-by: Sergei Trofimovich --- profiles/default/linux/sh/13.0/deprecated | 1 + profiles/default/linux/sh/13.0/desktop/deprecated | 1 + profiles/default/linux/sh/13.0/desktop/gnome/deprecated | 1 + profiles/default/linux/sh/13.0/developer/deprecated | 1 + 4 files changed, 4 insertions(+) create mode 100644 profiles/default/linux/sh/13.0/deprecated create mode 100644 profiles/default/linux/sh/13.0/desktop/deprecated create mode 100644 profiles/default/linux/sh/13.0/desktop/gnome/deprecated create mode 100644 profiles/default/linux/sh/13.0/developer/deprecated diff --git a/profiles/default/linux/sh/13.0/deprecated b/profiles/default/linux/sh/13.0/deprecated new file mode 100644 index 000000000000..d3f97aaef8ce --- /dev/null +++ b/profiles/default/linux/sh/13.0/deprecated @@ -0,0 +1 @@ +default/linux/sh/17.0 diff --git a/profiles/default/linux/sh/13.0/desktop/deprecated b/profiles/default/linux/sh/13.0/desktop/deprecated new file mode 100644 index 000000000000..d3f97aaef8ce --- /dev/null +++ b/profiles/default/linux/sh/13.0/desktop/deprecated @@ -0,0 +1 @@ +default/linux/sh/17.0 diff --git a/profiles/default/linux/sh/13.0/desktop/gnome/deprecated b/profiles/default/linux/sh/13.0/desktop/gnome/deprecated new file mode 100644 index 000000000000..d3f97aaef8ce --- /dev/null +++ b/profiles/default/linux/sh/13.0/desktop/gnome/deprecated @@ -0,0 +1 @@ +default/linux/sh/17.0 diff --git a/profiles/default/linux/sh/13.0/developer/deprecated b/profiles/default/linux/sh/13.0/developer/deprecated new file mode 100644 index 000000000000..d3f97aaef8ce --- /dev/null +++ b/profiles/default/linux/sh/13.0/developer/deprecated @@ -0,0 +1 @@ +default/linux/sh/17.0 -- 2.26.2