diff options
| author | davidovski <git@davidovski.xyz> | 2021-11-17 12:20:12 +0000 |
|---|---|---|
| committer | davidovski <git@davidovski.xyz> | 2021-11-17 12:20:12 +0000 |
| commit | 0ff24f5611f8a30f01ae08d866b5276c020a8665 (patch) | |
| tree | 8c0a67e5f11e5622d9a46df2b7a1bd08cb66eddb /src/util.py | |
| parent | 0313176c9fe35fcca0f53b99ce1e636af0bc9e4e (diff) | |
added server pinging to determine best mirror to use
Diffstat (limited to 'src/util.py')
0 files changed, 0 insertions, 0 deletions