fix gitignore

This commit is contained in:
Yuri Kuznetsov
2020-12-28 18:20:44 +02:00
parent 43a7085f7c
commit ddef5312fd