Emanuele Petriglia 857cbd8c24 Use wget if curl is not available (#451) ...

* Use wget if curl is not available
On most GNU/Linux distributions wget is often preinstalled, while curl
is not.
* Bump updater.sh version

2018-07-06 14:06:01 +02:00

4.1 KiB

Executable File

Raw Blame History

View Raw