I-Al-Istannen 8ab462fb87 Use the exercise label instead of the button name as path		2021-06-04 19:24:23 +02:00
..
ilias	Use the exercise label instead of the button name as path	2021-06-04 19:24:23 +02:00
__init__.py	Add 'skip' option to crawlers	2021-06-04 18:47:13 +02:00
crawler.py	Add 'skip' option to crawlers	2021-06-04 18:47:13 +02:00
http_crawler.py	Store cookies in text-based format	2021-05-31 20:18:20 +00:00
local_crawler.py	Deduplicate path names in crawler	2021-05-25 12:11:15 +02:00