From 8a83bef5a922292b369c55d004c30a726319fa37 Mon Sep 17 00:00:00 2001 From: pietervdvn Date: Sun, 11 Jul 2021 13:45:56 +0200 Subject: [PATCH] Add 'climbing=area' as alternative for 'climbing=site' --- assets/themes/climbing/climbing.json | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/assets/themes/climbing/climbing.json b/assets/themes/climbing/climbing.json index aa8d113106..72a53780ba 100644 --- a/assets/themes/climbing/climbing.json +++ b/assets/themes/climbing/climbing.json @@ -547,7 +547,12 @@ } }, { - "if": "climbing=site", + "if": { + "or": [ + "climbing=site", + "climbing=area" + ] + }, "then": { "en": "Climbing site", "nl": "Klimsite"