Rename "Home" to "index" in the doc (#851)

This will allow hosting as Github Pages.
This commit is contained in:
Martin Delille
2020-04-24 21:21:17 +02:00
committed by GitHub
parent 99222fc938
commit b35f2a86a6