Rename category

This commit is contained in:
JeremyStar™ 2024-12-04 18:42:10 +01:00
parent f4feafad02
commit 43594ca1cf
Signed by: JeremyStarTM
GPG key ID: E366BAEF67E4704D

View file

@ -1,5 +1,5 @@
{
"label": "Logging Specification",
"label": "Logging",
"position": 1,
"link": {
"type": "generated-index",