Manuel Thalmann 6283ed0803 Allow configuring GRUB in the nix config		2024-07-16 22:17:55 +02:00
..
Arch	Prefix valhalla related settings	2024-07-11 19:31:50 +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