Manuel Thalmann 2a997ab16e Change label of the Arch boot entry properly		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