From aae6e8ee698983bc97ad677c38ede237f597111b Mon Sep 17 00:00:00 2001 From: Craig Wright Date: Wed, 26 Apr 2023 15:11:49 -0700 Subject: [PATCH] Replaced tab with spaces. --- website/data/language-nav-data.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/data/language-nav-data.json b/website/data/language-nav-data.json index 63a0556281..f5fe7d5344 100644 --- a/website/data/language-nav-data.json +++ b/website/data/language-nav-data.json @@ -851,7 +851,7 @@ { "title": "sort", "path": "functions/sort", "hidden": true }, { "title": "split", "path": "functions/split", "hidden": true }, { "title": "startswith", "path": "functions/startswith", "hidden": true }, - { "title": "strcontains", "path": "functions/strcontains", "hidden": true}, + { "title": "strcontains", "path": "functions/strcontains", "hidden": true}, { "title": "strrev", "path": "functions/strrev", "hidden": true }, { "title": "substr", "path": "functions/substr", "hidden": true }, { "title": "sum", "path": "functions/sum", "hidden": true },