From 4fa6caf6b366a08f88118ba3e745707bfe4d687f Mon Sep 17 00:00:00 2001 From: David Gilbert <david.gilbert@rwth-aachen.de> Date: Mon, 29 Apr 2024 12:52:41 +0200 Subject: [PATCH] Add default empty custom map option to launcher.meta USER-DATA --- launcher.meta | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/launcher.meta b/launcher.meta index 4903a54..e46c7bd 100644 --- a/launcher.meta +++ b/launcher.meta @@ -1,6 +1,7 @@ { "USER-DATA": { - "DESCRIPTION": "" + "DESCRIPTION": "", + "CUSTOM_MAP" : "" }, "CI-DATA": { "CI-DATA-ENTRIES": "WILL BE REPLACED" -- GitLab