6 Commits

Author	SHA1	Message	Date
Joscha	5a1bf2188b	Switch from tabs to spaces	2019-04-24 12:34:20 +00:00
Joscha	3019e4255b	Replace "/" in file names with "."	2018-12-14 09:27:12 +00:00
Joscha	dad33b8c7f	Save identically named files under different names	2018-11-27 17:23:32 +00:00
Joscha	98a2b5db34	Fix tut crawling	2018-11-27 10:28:39 +00:00
Joscha	068fe77dcf	Clean up minor things ... - improve logging messages - allow more download file formats - strip file names	2018-11-26 17:00:17 +00:00
Joscha	34da5d4d19	Sync files from ILIAS	2018-11-26 13:39:06 +00:00