profiles: drop unused releases/13.0, second attempt

No profiles (deprecated or not) refer to releases/13.0 anymore. This reverts commit e6624c9. Bug: https://bugs.gentoo.org/688342 Closes: https://bugs.gentoo.org/672960 Signed-off-by: Sergei Trofimovich <[email protected]>
johu · Jun 21, 2019 · d40fdcf · d40fdcf
1 parent 3709dbf
commit d40fdcf
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 53 deletions.
diff --git a/profiles/releases/13.0/eapi b/profiles/releases/13.0/eapi
diff --git a/profiles/releases/13.0/make.defaults b/profiles/releases/13.0/make.defaults
diff --git a/profiles/releases/13.0/package.mask b/profiles/releases/13.0/package.mask
diff --git a/profiles/releases/13.0/package.unmask b/profiles/releases/13.0/package.unmask
diff --git a/profiles/releases/13.0/package.use.mask b/profiles/releases/13.0/package.use.mask
diff --git a/profiles/releases/13.0/parent b/profiles/releases/13.0/parent