projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cf3085) | patch
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
tree05d5d83eeb02c528e5d969474d84cf8b51b6c707tree
parent1cf3085cc9d628d356e4cfeaa23c3034330a64efcommit | diff
Return customized directory(if any) as a default one
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.kt diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.