From 7cf87b0cbb9ee55f832f271169f30fc8b2738da9 Mon Sep 17 00:00:00 2001 From: Delphine Lariviere Date: Fri, 28 Jun 2024 13:10:09 +0200 Subject: [PATCH] remove duplicated line --- tools/data_export/export_remote.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/data_export/export_remote.xml b/tools/data_export/export_remote.xml index 7840d70ae64a..17b491c66cf4 100644 --- a/tools/data_export/export_remote.xml +++ b/tools/data_export/export_remote.xml @@ -24,7 +24,6 @@ python '$__tool_directory__/export_remote.py' #set $fileconfig = json.dumps($export_type.infiles.serialize(invalid_chars=tuple(str($invalid_chars)))) #end if #else if $export_type.export_type_selector == "collection_auto": - #set $fileconfig = json.dumps($export_type.incollection.serialize(invalid_chars=tuple(str($invalid_chars)), include_collection_name=bool($export_type.include_collection_name))) #if $invalid_chars=="space": #set $fileconfig = json.dumps($export_type.incollection.serialize(invalid_chars=tuple(str(" ")), include_collection_name=bool($export_type.include_collection_name)))