Return customized directory(if any) as a default one
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 17 Nov 2016 14:49:06 +0000 (15:49 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Thu, 17 Nov 2016 14:49:06 +0000 (15:49 +0100)
commit1304abb7d7afe586996014ec48927da9bc2f153f
tree05d5d83eeb02c528e5d969474d84cf8b51b6c707
parent1cf3085cc9d628d356e4cfeaa23c3034330a64ef
Return customized directory(if any) as a default one
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.kt