author | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Thu, 17 Nov 2016 14:49:06 +0000 (15:49 +0100) | ||
committer | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Thu, 17 Nov 2016 14:49:06 +0000 (15:49 +0100) | ||
commit | 1304abb7d7afe586996014ec48927da9bc2f153f | |
tree | 05d5d83eeb02c528e5d969474d84cf8b51b6c707 | tree |
parent | 1cf3085cc9d628d356e4cfeaa23c3034330a64ef | commit | diff |
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.kt | diff | blob | history |