This repository has been archived on 2024-10-13. You can view files and clone it, but cannot push or open issues or pull requests.

Jon Michael Aanes 0d4d7bad12 Filtering and heuristic is now done outside of output format		2024-08-26 00:14:12 +02:00
..
__init__.py	Moved output formats into own submodule	2024-08-25 23:48:08 +02:00
git_repo.py	Filtering and heuristic is now done outside of output format	2024-08-26 00:14:12 +02:00