tree cef4aece927ca5dec285108ae18a02b861ce0ae6
parent db2fd4c9be13215f5b199714e4a82264d6ecbe79
author Jan Kundrát <jan.kundrat@cesnet.cz> 1508837989 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1508837989 +0200

docs: Rename for a better Gitiles integration

Thanks to Michal Altman for reporting this.

Change-Id: Id540603839d10e9c51a648a7015c5f2fe0664191