Gert de Pagter 2b7a41b0d2 Update the update prompt (#6825) | 6 years ago | |
---|---|---|
.. | ||
check_for_upgrade.sh | 6 years ago | |
install.sh | 6 years ago | |
require_tool.sh | 13 years ago | |
theme_chooser.sh | 11 years ago | |
uninstall.sh | 9 years ago | |
upgrade.sh | 7 years ago |