Joscha 602044ff1b Fix mypy errors and add missing await		2022-04-27 22:52:50 +02:00
..
ilias	Fix mypy errors and add missing await	2022-04-27 22:52:50 +02:00
__init__.py	Add kit-ipd crawler	2021-10-21 13:20:21 +02:00
crawler.py	Fix mypy errors and add missing await	2022-04-27 22:52:50 +02:00
http_crawler.py	Store cookies in text-based format	2021-05-31 20:18:20 +00:00
kit_ipd_crawler.py	Remove Python 3.9 Pattern typehints	2022-01-08 17:14:40 +01:00
local_crawler.py	Deduplicate path names in crawler	2021-05-25 12:11:15 +02:00