From 24c5a9fc2f9386d5c42733a206ebf0ba7b21d939 Mon Sep 17 00:00:00 2001 From: riQQ Date: Tue, 8 Feb 2022 00:14:19 +0100 Subject: [PATCH] Minor editorial improvements to tags format docs --- Docs/Tags_format.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Docs/Tags_format.md b/Docs/Tags_format.md index bf5587959..83ff0c392 100644 --- a/Docs/Tags_format.md +++ b/Docs/Tags_format.md @@ -80,7 +80,7 @@ which we do not want. To mitigate this, use: -``` +```json "mappings": [ { "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 -as `prefix-{other_key}-postfix` (with other_key substituted by the value) \ No newline at end of file +as `prefix-{other_key}-postfix` (with `other_key` substituted by the value)