rename linux index

This commit is contained in:
vincent 2021-01-21 22:00:29 +01:00
parent 088578f428
commit f1c79d4da1