projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94a666a) | patch
Fix saving the shell path project setting (IDEA-163474)
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 14 Nov 2016 14:13:27 +0000 (15:13 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 14 Nov 2016 14:13:27 +0000 (15:13 +0100)
commitb8b17786ae4b3b19183323f454e1c43c6a29bfcf
tree7c8189bb5b575932224a39710c0a520a11e7c030tree
parent94a666a0dfaa005602c910957c968def97d828a0commit | diff
Fix saving the shell path project setting (IDEA-163474)
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.kt diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.