Mr. Pine 549ce6cce9 Ignore unavailable elements (#119)

2025-05-28 17:04:57 +02:00

..

ilias

Ignore unavailable elements (#119)

2025-05-28 17:04:57 +02:00

__init__.py

feat: Generic ilias_web command

2024-05-04 17:44:37 +02:00

crawler.py

Update minimum Python version to 3.11

2025-04-15 21:35:20 +02:00

http_crawler.py

Increase default http timeout to 30

2025-02-19 12:19:13 +01:00

kit_ipd_crawler.py

"Fix" mypy errors

2025-02-19 12:15:41 +01:00

local_crawler.py

Deduplicate path names in crawler

2021-05-25 12:11:15 +02:00