remove mors

This commit is contained in:
Ingolf Wagner 2024-05-30 09:35:07 +02:00
parent a220dab526
commit 38613cd6b8
Signed by: palo
GPG key ID: 76BF5F1928B9618B

View file

@ -38,13 +38,6 @@ with lib; {
name = "windows-bumba";
id = "JS7PWTO-VKFGBUP-GNFLSWP-MGFJ2KH-HLO2LKW-V3RPCR6-PCB5SQC-42FCKQZ";
};
}
// {
mors = {
name = "lassulus-mors";
id = "ZPRS57K-YK32ROQ-7A6MRAV-VOYXQ3I-CQCXISZ-C5PCV2A-GSFLG3I-K7UGGAH";
addresses = [ "tcp://mors.r:22000" ];
};
};
settings.folders = {