projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3709dbf) | patch
profiles: drop unused releases/13.0, second attempt
authorSergei Trofimovich <slyfox@gentoo.org>
Fri, 21 Jun 2019 06:48:33 +0000 (07:48 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Fri, 21 Jun 2019 06:51:26 +0000 (07:51 +0100)
commitd40fdcf1e4bdd370a13800e73a383537beef365a
tree764624665a24734dd09c231f11ea73b184b4f234tree | snapshot
parent3709dbfe6287f6762a0bd22955cda9cc565743d2commit | diff
profiles: drop unused releases/13.0, second attempt

No profiles (deprecated or not) refer to releases/13.0 anymore.

This reverts commit e6624c95f0c6f1e76cdb036dd9863fcadff4a2c1.
Bug: https://bugs.gentoo.org/688342
Closes: https://bugs.gentoo.org/672960

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
profiles/releases/13.0/eapi [deleted file] blob | history
profiles/releases/13.0/make.defaults [deleted file] blob | history
profiles/releases/13.0/package.mask [deleted file] blob | history
profiles/releases/13.0/package.unmask [deleted file] blob | history
profiles/releases/13.0/package.use.mask [deleted file] blob | history
profiles/releases/13.0/parent [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.