From 75f0b6fbfb02a3e8075caf9813ff857848679662 Mon Sep 17 00:00:00 2001 From: Jakub Jankiewicz Date: Wed, 18 Dec 2024 12:17:10 +0100 Subject: [PATCH] (docs) update label --- docs/docs/lips/_category_.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/lips/_category_.json b/docs/docs/lips/_category_.json index 70ab6562e..517f0ddf5 100644 --- a/docs/docs/lips/_category_.json +++ b/docs/docs/lips/_category_.json @@ -1,5 +1,5 @@ { - "label": "LIPS introduction", + "label": "LIPS documentation", "position": 3, "link": { "type": "generated-index"