From 93360119d941f3e9fe8c0484968b139f64dfdb30 Mon Sep 17 00:00:00 2001 From: martavp Date: Mon, 4 Jan 2021 10:07:29 +0100 Subject: [PATCH] Allow decimals in sector_opts --- Snakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Snakefile b/Snakefile index 0ac8bd99..6e484aae 100644 --- a/Snakefile +++ b/Snakefile @@ -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\.]*"