Merge branch 'terminalsettings_visibility' of https://github.com/xfournet/intellij...
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Sun, 7 Sep 2014 00:00:31 +0000 (02:00 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Sun, 7 Sep 2014 00:00:31 +0000 (02:00 +0200)

Trivial merge