Manuel Thalmann dabd51ea1a Specify default git settings		2024-07-15 20:24:59 +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	Specify default git settings	2024-07-15 20:24:59 +02:00