From 7592fbc99900de19735a99dbda36198edceeeab2 Mon Sep 17 00:00:00 2001 From: Giacomo Lanza Date: Mon, 13 Mar 2023 09:44:45 +0100 Subject: [PATCH 01/14] rename back correctly the optionset `dataset_size_options` --- rdmorganiser/options/rdmo.xml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/rdmorganiser/options/rdmo.xml b/rdmorganiser/options/rdmo.xml index 65ff9712..53bd85dd 100644 --- a/rdmorganiser/options/rdmo.xml +++ b/rdmorganiser/options/rdmo.xml @@ -1466,7 +1466,7 @@ https://rdmorganiser.github.io/terms - dfg_dataset_size_options + dataset_size_options 0 @@ -1475,7 +1475,7 @@