18a22b37f3
These servers have been deleted as they were replaced by gitea10-12. Change-Id: Ie4de0c56edbc7cd6568f15d9246565310fed34e4 |
||
---|---|---|
.. | ||
zone.db |
18a22b37f3
These servers have been deleted as they were replaced by gitea10-12. Change-Id: Ie4de0c56edbc7cd6568f15d9246565310fed34e4 |
||
---|---|---|
.. | ||
zone.db |