Joscha f776186480 Use PurePath instead of Path ... Path should only be used when we need to access the file system. For all other purposes (mainly crawling), we use PurePath instead since the paths don't correspond to paths in the local file system.		2021-04-29 20:20:25 +02:00
..
__init__.py	Implement Crawler and DummyCrawler	2021-04-29 13:44:29 +02:00
dummy.py	Use PurePath instead of Path	2021-04-29 20:20:25 +02:00