Eike Kettner 2c844b8182 Add a script to download files ...

This script take a search query and downloads all the files. It is a
more efficient approach to "download as zip". The files are put flat
into the current directory.

2021-03-14 16:39:51 +01:00

..

download-files.sh

Add a script to download files

2021-03-14 16:39:51 +01:00