Update local-settings.xml

This commit is contained in:
Daniele Gerbaldo 2024-03-26 04:03:52 +01:00 committed by GitHub
parent 7e3b93eea1
commit 218d33c8aa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -7,6 +7,7 @@
<mirrorOf>external:http:*</mirrorOf> <mirrorOf>external:http:*</mirrorOf>
<name>Pseudo repository to mirror external repositories initially using HTTP.</name> <name>Pseudo repository to mirror external repositories initially using HTTP.</name>
<url>http://0.0.0.0/</url> <url>http://0.0.0.0/</url>
<blocked>false</blocked>
</mirror> </mirror>
</mirrors> </mirrors>
</settings> </settings>