5 Commits

Author	SHA1	Message	Date
Hugo van Kemenade	0b6c7ba49e	Disable wget progress bar but not all output	2024-01-21 16:52:59 +02:00
Hugo van Kemenade	f679e410bd	Use 'rmdir' instead of 'rm -r'	2023-02-08 10:12:14 +02:00
Andrew Murray	b249984ffe	Corrected usage statement	2018-11-26 00:05:57 +11:00
Eric Soroos	f737f00637	Freebsd's bash is elsewhere, wget necessary, setuptools not found	2017-06-22 13:30:26 +00:00
hugovk	d764a4c985	Refactor to avoid repeated version number	2016-12-24 19:16:11 +02:00