Minor: rename file

This commit is contained in:
Nikolay Krasko
2018-02-21 20:24:18 +03:00
parent c5fc195754
commit 9026582352