[idea] create a script for manage proxies and mirrors
Primary LanguagePython
No issues in this repository yet.