Merge branch 'feature/guess-project-if-file-modified-outside-of-command' of https...
authorpeter <peter@jetbrains.com>
Fri, 21 Apr 2017 08:55:30 +0000 (10:55 +0200)
committerpeter <peter@jetbrains.com>
Fri, 21 Apr 2017 08:55:30 +0000 (10:55 +0200)

Trivial merge