Allow decimals in sector_opts

2021-01-04 10:07:29 +01:00 · 2021-01-04 10:07:29 +01:00 · 0d64cf5b35
commit 0d64cf5b35
parent d7e9dc2466
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -8,7 +8,7 @@ wildcard_constraints:
    clusters="[0-9]+m?",
    sectors="[+a-zA-Z0-9]+",
    opts="[-+a-zA-Z0-9]*",
-    sector_opts="[-+a-zA-Z0-9]*"
+    sector_opts="[-+a-zA-Z0-9\.]*"