Jakob Lechner 905c043b17 Change config name		2023-11-08 23:35:55 +00:00
..
default.nix	Change config name	2023-11-08 23:35:55 +00:00
userChrome.css	Add home-manager config	2021-11-17 16:08:19 +00:00