PortValhalla/profiles/Generic
2024-07-16 23:33:02 +02:00
..
Arch Change label of the Arch boot entry properly 2024-07-16 23:33:02 +02:00
Windows Set the user name by default 2024-03-23 15:29:37 +01:00
config.nix Allow configuring GRUB in the nix config 2024-07-16 22:17:55 +02:00