This repository has been archived on 2024-10-30. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Andrea Ciceri 11369f4f4b Removed Hydra hook		2023-04-08 12:17:23 +02:00
..
default.nix	Removed Hydra hook	2023-04-08 12:17:23 +02:00