diff options
| author | Nicolas Paul <n@nc0.fr> | 2023-10-03 09:38:59 +0200 |
|---|---|---|
| committer | Nicolas Paul <n@nc0.fr> | 2023-10-03 16:00:05 +0200 |
| commit | c7313a361d69efc4853c17c18d1591cd5f891648 (patch) | |
| tree | dab0cb499ce87ccca4f4358f33bbcdafaa537eb1 /doc/pages/_meta.json | |
| parent | c328105d017a8ef4918a5078519d5eb907d1174a (diff) | |
Move installation information inside the index
Diffstat (limited to 'doc/pages/_meta.json')
| -rw-r--r-- | doc/pages/_meta.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/pages/_meta.json b/doc/pages/_meta.json index 6ce1f13..4304e46 100644 --- a/doc/pages/_meta.json +++ b/doc/pages/_meta.json @@ -1,6 +1,5 @@ { "index": "Introduction", - "install": "Installation", "guide": "Example", "starlark": "Starlark Language", "references": "References" |