From 412e7ad908304c9eb3f1fddb381f5895ba321cc5 Mon Sep 17 00:00:00 2001 From: Craig Wright Date: Wed, 26 Apr 2023 15:08:44 -0700 Subject: [PATCH] Adding additional entry necessary to generate docs. --- website/data/language-nav-data.json | 1 + 1 file changed, 1 insertion(+) diff --git a/website/data/language-nav-data.json b/website/data/language-nav-data.json index 2b8226b133..63a0556281 100644 --- a/website/data/language-nav-data.json +++ b/website/data/language-nav-data.json @@ -851,6 +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": "strrev", "path": "functions/strrev", "hidden": true }, { "title": "substr", "path": "functions/substr", "hidden": true }, { "title": "sum", "path": "functions/sum", "hidden": true },