diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-06-26 02:00:46 +0100 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-06-26 02:00:46 +0100 |
| commit | 63d19cc87f7ea1a5888ab730394d622f58d9aa40 (patch) | |
| tree | 0ee654240e070ca6bc77f782563e7b7d6a08a73b /.gitignore | |
| parent | d574d8a084466ca169fc50d2494fb5a019344e98 (diff) | |
| download | midipix_build-63d19cc87f7ea1a5888ab730394d622f58d9aa40.tar.bz2 midipix_build-63d19cc87f7ea1a5888ab730394d622f58d9aa40.tar.xz | |
subr/rtl_fetch.subr:rtl_fetch_url_wget(): retain digest post-download & forcibly re-download on mismatch (via midipix.)
subr/rtl_complex.subr:rtl_check_digest{,_file}(): initial implementation.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions