Kevin Gallagher f964718c83 Set wget retry options for fetching parameters ...

This will retry upon refused connections and similar errors, wait 1 second
before the next retry, time out after 10 seconds if no data is received or
the connection times out, plus try an infinite number of times.

2016-10-10 20:34:55 -07:00

..

build.sh

Re-enable disabled compiler warnings

2016-09-29 14:35:38 +13:00

cleanup-tags.sh

A script to remove "unofficial" tags from a remote, such as github.

2016-05-30 16:54:23 -07:00

fetch-params.sh

Set wget retry options for fetching parameters

2016-10-10 20:34:55 -07:00