🚚 — Renaming developer/installing to developer/installation

This commit is contained in:
Luc Didry 2024-04-08 14:23:51 +02:00
parent 9af28a511d
commit c5e11026b5
No known key found for this signature in database
GPG key ID: EA868E12D0257E3C
2 changed files with 1 additions and 1 deletions

View file

@ -57,7 +57,7 @@ checks
:caption: Developer docs
:hidden:
developer/requirements
developer/installing
developer/installation
developer/overview
developer/dependencies
developer/new-check