tree b60d5087e9ca266b7738061e6425988ada849d5c
parent 39f9029011b7d3e5edfd5409f1c5733ece4fc5b9
author Tim Edwards <tim@opencircuitdesign.com> 1699671757 -0500
committer Tim Edwards <tim@opencircuitdesign.com> 1699671757 -0500

Updated version to go along with pull request #416 from Cristian
Balint (makes git/wget/curl downloads more persistent by enabling
retry options for each).