Merge branch 'terminalProjectEnv' of https://github.com/sblundy/intellij-community...
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 22 Oct 2018 15:44:48 +0000 (17:44 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 22 Oct 2018 15:44:48 +0000 (17:44 +0200)
commit88ab07d685afe479ce68ffcbf93eba33c92fe88c
tree74198631ccf3068c84403783e5c4526592aac5e9
parenta1d61524026818f2fcdeaa6b38262ce296156e05
parente3455055716325aa229fb6365c8a56c84c3da1e2
Merge branch 'terminalProjectEnv' of https://github.com/sblundy/intellij-community into sblundy-terminalProjectEnv
plugins/terminal/intellij.terminal.iml
plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.kt
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalSettingsPanel.form
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalSettingsPanel.java