author | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Mon, 10 Oct 2016 20:50:22 +0000 (22:50 +0200) | ||
committer | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Tue, 11 Oct 2016 02:14:51 +0000 (04:14 +0200) |
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalOptionsProvider.java | patch | blob | history |