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

GHOSCHT 56a07d7b1b Improve repo directory structure		2022-04-09 20:07:19 +02:00
..
.gitignore	Revert "Deleted as now unnecessary"	2021-08-28 10:33:34 +02:00
pre-commit	Improve repo directory structure	2022-04-09 20:07:19 +02:00