Merge pull request #10037 from alalek:update_gitignore
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 7 Nov 2017 19:59:53 +0000 (19:59 +0000)
committerGitHub <noreply@github.com>
Tue, 7 Nov 2017 19:59:53 +0000 (19:59 +0000)
git: .gitignore update


Trivial merge