Compare commits

..

1 Commits

Author SHA1 Message Date
Ching Pei Yang d1c2b9cd73
Merge d53040dd34 into b0af809b95 2024-06-27 10:11:24 +02:00
1 changed files with 4 additions and 6 deletions

View File

@ -107,20 +107,18 @@ in {
type = listOf (submodule { type = listOf (submodule {
options = { options = {
view = mkOption { view = mkOption {
description = "how this route is viewed"; description = "";
type = nullOr str; type = str;
default = null;
}; };
filter = mkOption { filter = mkOption {
description = "a filter for messages matching this route"; description = "";
type = anything; type = anything;
}; };
opts = mkOption { opts = mkOption {
description = "options for the view and the route"; description = "";
type = nullOr anything; type = nullOr anything;
default = null;
}; };
}; };
}); });