Fix naming of how to documentation

This commit is contained in:
2022-08-24 10:38:47 +02:00
committed by GitHub
parent c35e4e4c05
commit a033ee6182