diff options
author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2015-12-03 01:39:28 +0100 |
---|---|---|
committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2015-12-03 01:39:28 +0100 |
commit | eeb7a259c1d924246e39730d948d142321b2d0da (patch) | |
tree | 0656e04c1f7fa992c5d15b995434259cb39bec67 /tools/update_man_pages.sh | |
parent | 69dbea2bd7a7efd3003016d88c497c529ced5820 (diff) | |
download | sbotools2-eeb7a259c1d924246e39730d948d142321b2d0da.tar.xz |
Use sbosrcarch if a download fails
This should solve #7 but further testing is warranted
Diffstat (limited to 'tools/update_man_pages.sh')
0 files changed, 0 insertions, 0 deletions