summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2019-10-28 15:38:00 +0100
committerMichał Górny <mgorny@gentoo.org>2019-10-28 15:38:00 +0100
commita4bfdf1448ceb73c0ab06447bca9e52e0db30a11 (patch)
treeeb74972ae04238f47f951a2a92dc32ed3d57e0cf
parentuid-gid.txt: Add more requested UIDs/GIDs (diff)
downloadapi-a4bfdf1448ceb73c0ab06447bca9e52e0db30a11.tar.gz
api-a4bfdf1448ceb73c0ab06447bca9e52e0db30a11.tar.bz2
api-a4bfdf1448ceb73c0ab06447bca9e52e0db30a11.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.xml10
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>