From 0ff24f5611f8a30f01ae08d866b5276c020a8665 Mon Sep 17 00:00:00 2001 From: davidovski Date: Wed, 17 Nov 2021 12:20:12 +0000 Subject: added server pinging to determine best mirror to use --- src/options.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/options.py') 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, -- cgit v1.2.1