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/options.py | |
| parent | 0313176c9fe35fcca0f53b99ce1e636af0bc9e4e (diff) | |
added server pinging to determine best mirror to use
Diffstat (limited to 'src/options.py')
| -rw-r--r-- | src/options.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options.py b/src/options.py index 704d630..910b8a3 100644 --- a/src/options.py +++ b/src/options.py @@ -26,7 +26,7 @@ options = { "name" : "unsafe", "flag" : True, "desc" : "skip any checksum or signature verification" - } + }, "v": { "name" : "verbose", "flag" : True, |