Merge branch 'traff/terminal-urls'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 19 Jan 2017 15:59:36 +0000 (16:59 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 19 Jan 2017 15:59:36 +0000 (16:59 +0100)
commit8848068700b874f9842a6678ce29595f57003eb2
tree1712d47c9200b8fed8155d90622c43b0adf99b90
parent80764260d27c8ad682136970fb65c71628991d90
parent8ec4c0f46c4dde3c2dac2267438d0526813ae935
Merge branch 'traff/terminal-urls'