Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop

This commit is contained in:
Pieter Vander Vennet 2022-02-08 00:57:15 +01:00
commit 116b40ee29

View file

@ -80,7 +80,7 @@ which we do not want.
To mitigate this, use: To mitigate this, use:
``` ```json
"mappings": [ "mappings": [
{ {
"if":"key:={some_other_key}" "if":"key:={some_other_key}"
@ -91,4 +91,4 @@ To mitigate this, use:
``` ```
One can use `key!:=prefix-{other_key}-postfix` as well, to match if `key` is _not_ the same One can use `key!:=prefix-{other_key}-postfix` as well, to match if `key` is _not_ the same
as `prefix-{other_key}-postfix` (with other_key substituted by the value) as `prefix-{other_key}-postfix` (with `other_key` substituted by the value)