diff options
author | Christian Hesse <mail@eworm.de> | 2019-08-01 18:45:54 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2019-08-01 18:45:54 +0200 |
commit | ab4aef4dfba35a715f9786566e33a6c1abc3350c (patch) | |
tree | 4ed57a0e55c18b20c8945c9b0fdaf54572d00241 /gps-track | |
parent | 70798de8f05e88e39fbcd70078b91b2ec07e9c83 (diff) |
global-functions: $DownloadPackage: re-introduce check for valid package
Even if fetch tool does its job right now... Chances are that the
download servers have corrupted or empty files.
Diffstat (limited to 'gps-track')
0 files changed, 0 insertions, 0 deletions