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