Allow decimals in sector_opts

This commit is contained in:
martavp 2021-01-04 10:07:29 +01:00
parent cf71858bc0
commit 93360119d9

View File

@ -8,7 +8,7 @@ wildcard_constraints:
clusters="[0-9]+m?", clusters="[0-9]+m?",
sectors="[+a-zA-Z0-9]+", sectors="[+a-zA-Z0-9]+",
opts="[-+a-zA-Z0-9]*", opts="[-+a-zA-Z0-9]*",
sector_opts="[-+a-zA-Z0-9]*" sector_opts="[-+a-zA-Z0-9\.]*"