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

Gabriel Augendre 24f30cfa58 Revert "Add pre-commit" ... This reverts commit b4a3d10887.		2022-09-27 23:58:28 +02:00
..
workflows	Revert "Add pre-commit"	2022-09-27 23:58:28 +02:00