diff options
| author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-05-13 20:30:44 +0200 |
|---|---|---|
| committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-05-13 20:30:44 +0200 |
| commit | dd809801e3c7a87d70e2b64bd028d1d3e386fa96 (patch) | |
| tree | 261b8e318e1e5d885756d5ea897804c8c7131529 /user-config.default.bash | |
| parent | 28d74df07ad810d5a1c91f251308b36a78b1d2db (diff) | |
Get checksum from specific file
Before, the source file was downloaded and the checksum calculated from
it.
Additionally, the code's documentation was marginally improved and a
--nopull option added.
Diffstat (limited to 'user-config.default.bash')
0 files changed, 0 insertions, 0 deletions