long ago, upgrade_dist was required, not any more some module unmaintained marked obsolete

This commit is contained in:
2024-09-20 18:53:56 +02:00
parent b244ad8ef3
commit 7ed72e1c70
10 changed files with 11 additions and 10 deletions

View File

@@ -9,7 +9,7 @@
# ------------------------------------------------------------------------------
export VER_select_system_proxy="0.0.5"
export DEP_select_system_proxy="upgrade_dist"
export DEP_select_system_proxy=""
select_system_proxy()
{