Remove duplication
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Fri, 21 Oct 2016 17:13:38 +0000 (19:13 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Fri, 21 Oct 2016 17:13:38 +0000 (19:13 +0200)
commit6280d306a7ce77d76f1ba005af7bcd9623e24306
treef5002931ba29e68602a84915de9820a66afe4939
parentd288431c7f5d3f7b3732a7348179840c6ae6ec73
Remove duplication
plugins/terminal/src/org/jetbrains/plugins/terminal/LocalTerminalDirectRunner.java
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsConfigurable.java
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.java [deleted file]
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.kt [new file with mode: 0644]
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalSettingsPanel.java