username change

This commit is contained in:
CDaut 2024-06-28 13:48:58 +02:00
parent 74c28bf02a
commit f063a1d687
Signed by: clara
GPG key ID: 223391B52FAD4463
2 changed files with 9 additions and 7 deletions

View file

@ -4,7 +4,7 @@ let
inherit (pkgs.texlive) scheme-full;
});
in
let username = "clemens"; in
let username = "clara"; in
{
# Home Manager needs a bit of information about you and the paths it should
# manage.