Merge pull request #5 from JetBrains/minor-changes
authorVitaliy Bibaev <roenke54@gmail.com>
Tue, 19 Dec 2017 10:24:43 +0000 (13:24 +0300)
committerGitHub <noreply@github.com>
Tue, 19 Dec 2017 10:24:43 +0000 (13:24 +0300)
Minor changes


Trivial merge