I-Al-Istannen 03efa17cf1 Print mtime before updating file metadata		2023-09-23 13:01:58 +02:00
..
ilias	Print mtime before updating file metadata	2023-09-23 13:01:58 +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	Use utf-8 for cookies	2022-04-29 23:12:41 +02:00
kit_ipd_crawler.py	Use url after redirect for relative links	2022-11-21 18:10:45 +01:00
local_crawler.py	Deduplicate path names in crawler	2021-05-25 12:11:15 +02:00