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

Andrea Ciceri e2368dabe4 Merge branch 'flake'		2023-02-12 16:49:03 +01:00
..
default.nix	Merge branch 'flake'	2023-02-12 16:49:03 +01:00