Charlotte 🦝 Delenk 183ccaba37 Revert "Merge pull request '?' (#148) from what into main" ... This reverts commit 77d32fb491, reversing changes made to fda6c60d40.		2023-07-22 07:59:10 +01:00
..
default.nix	Use hydra as CI	2023-01-23 10:54:31 +01:00
jobsets.nix	Revert "Merge pull request '?' (#148) from what into main"	2023-07-22 07:59:10 +01:00
spec.json	correct spec.json	2023-07-18 13:10:32 +01:00