From 5100e659159c27879ead67574952d89393fe0180 Mon Sep 17 00:00:00 2001 From: Jan Kaluza Date: Oct 20 2020 06:23:14 +0000 Subject: ELN: Use EXTRA_FILES also in extra_files configuration option. Signed-off-by: Jan Kaluza --- diff --git a/shared/general.conf b/shared/general.conf index 167e149..8f3e045 100644 --- a/shared/general.conf +++ b/shared/general.conf @@ -29,3 +29,5 @@ variants_file = { "branch": VARIANTS_BRANCH, "file": VARIANTS_FILE, } + +extra_files = EXTRA_FILES