diff options
author | Sergei Trofimovich <slyfox@gentoo.org> | 2019-02-19 22:35:54 +0000 |
---|---|---|
committer | Sergei Trofimovich <slyfox@gentoo.org> | 2019-02-19 22:35:54 +0000 |
commit | 553a5d05aa3c3cbace4809893d555a3f890f87d1 (patch) | |
tree | abab8305ab1a35c6d0ab54b66689524905eec50f /profiles | |
parent | profiles/default/linux/arm: deprecated 13.0 profiles (diff) | |
download | gentoo-553a5d05aa3c3cbace4809893d555a3f890f87d1.tar.gz gentoo-553a5d05aa3c3cbace4809893d555a3f890f87d1.tar.bz2 gentoo-553a5d05aa3c3cbace4809893d555a3f890f87d1.zip |
profiles/hardened/linux/ia64: deprecate in favour of 17.0 profiles
Use default/linux/ia64/17.0 instead.
Bug: https://bugs.gentoo.org/673276
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/hardened/linux/ia64/deprecated | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/hardened/linux/ia64/deprecated b/profiles/hardened/linux/ia64/deprecated new file mode 100644 index 000000000000..3da6a26f484b --- /dev/null +++ b/profiles/hardened/linux/ia64/deprecated @@ -0,0 +1 @@ +default/linux/ia64/17.0 |