diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2023-03-26 22:18:38 +0200 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2023-03-26 22:18:38 +0200 |
| commit | 01c1afd4df463f454d1ee75e1e7be9cadd5a301a (patch) | |
| tree | 288ea103559b40ca81e10e5efb7c2c6d521f18b5 /kartei | |
| parent | 751cda6f6da2785023a3c915b45749cbc67eac07 (diff) | |
kartei/felix: fix eval
Diffstat (limited to 'kartei')
| -rw-r--r-- | kartei/feliks/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kartei/feliks/default.nix b/kartei/feliks/default.nix index 5ea921d2c..33f7f9663 100644 --- a/kartei/feliks/default.nix +++ b/kartei/feliks/default.nix @@ -9,7 +9,6 @@ with import ../../lib; (krebs.genipv6 "retiolum" "external" { inherit hostName; }).address; }); in { -in { users.feliks = { mail = "feliks@flipdot.org"; }; |