krebs: remove duplicate mail setting

This commit is contained in:
lassulus 2017-07-16 12:10:09 +02:00
parent cd7c0971cc
commit 205f3d3adb

View File

@ -68,7 +68,6 @@ in {
} // testHosts; } // testHosts;
users = { users = {
krebs = { krebs = {
mail = "spam@krebsco.de";
pubkey = "lol"; # TODO krebs.users.krebs.pubkey should be unnecessary pubkey = "lol"; # TODO krebs.users.krebs.pubkey should be unnecessary
}; };
}; };