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
..
2020-08-25 17:23:31 +02:00
2020-03-28 21:44:14 +01:00