Fixed a typo on the documentation homepage. (#2761)

This commit is contained in:
Gersti
2023-08-14 14:05:01 +02:00
committed by GitHub
parent 7bfeb98265
commit 171f95d49c