This commit is contained in:
Dennis Frieberg 2024-10-09 10:14:24 +02:00
parent cdcb47de78
commit 1b45795fe3
No known key found for this signature in database
GPG key ID: 7C58AFED036072C5

View file

@ -24,7 +24,7 @@ let
type = types.str; type = types.str;
}; };
station-name = mkOption { station-name = mkOption {
types = types.str; type = types.str;
}; };
}; };
}; };