makefu abad442c85 machines: remove grub.version		2024-05-30 18:14:25 +02:00
..
default.nix	machines: remove grub.version	2024-05-30 18:14:25 +02:00