diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-10-28 15:38:00 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-10-28 15:38:00 +0100 |
| commit | a4bfdf1448ceb73c0ab06447bca9e52e0db30a11 (patch) | |
| tree | eb74972ae04238f47f951a2a92dc32ed3d57e0cf | |
| parent | uid-gid.txt: Add more requested UIDs/GIDs (diff) | |
| download | api-ping.tar.gz api-ping.tar.bz2 api-ping.zip | |
repositories: Remove removed whiledev repoping
Bug: https://bugs.gentoo.org/698356
Signed-off-by: Michał Górny <mgorny@gentoo.org>
| -rw-r--r-- | files/overlays/repositories.xml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/files/overlays/repositories.xml b/files/overlays/repositories.xml index d496134..52aa700 100644 --- a/files/overlays/repositories.xml +++ b/files/overlays/repositories.xml @@ -4974,16 +4974,6 @@ <source type="git">https://github.com/kwhat/gentoo-what4-java-overlay.git</source> </repo> <repo quality="experimental" status="unofficial"> - <name>whiledev</name> - <description>Collection of ebuilds with experimental features</description> - <homepage>https://github.com/whiledev/whiledev-overlay</homepage> - <owner type="person"> - <email>me@felixsanz.com</email> - <name>Felix Sanz</name> - </owner> - <source type="git">https://github.com/whiledev/whiledev-overlay.git</source> - </repo> - <repo quality="experimental" status="unofficial"> <name>wichtounet</name> <description lang="en">Personal overlay of Baptiste Wicht</description> <homepage>https://github.com/wichtounet/wichtounet-overlay</homepage> |