Merge branch 'improvment/PyConsoleUtil-help_prompt-to-public' of https://github.com...
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 25 Apr 2017 19:00:16 +0000 (21:00 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 25 Apr 2017 19:00:16 +0000 (21:00 +0200)

Trivial merge