3 Commits

Author	SHA1	Message	Date
Ehmry -	24deef9495	Use #!/usr/bin/env ... shebangs	2019-11-28 15:07:24 +01:00
Norman Feske	d4975235c2	tool/depot: download archives from web server ... This patch replaces the toy downloader (that merely copied files locally, for testing) with the mechanics needed to download files from a www server. It also changes the use of GPG to use detached signatures. Issue #2339	2017-05-31 13:16:24 +02:00
Norman Feske	39eff7f249	Tool for assembling API/source/binary archives ... Issue #2339	2017-05-31 13:15:56 +02:00