author | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Fri, 25 Nov 2016 14:38:35 +0000 (15:38 +0100) | ||
committer | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Fri, 25 Nov 2016 14:40:35 +0000 (15:40 +0100) |
plugins/terminal/resources/.zshrc | patch | blob | history | |
plugins/terminal/resources/fish/config.fish | patch | blob | history | |
plugins/terminal/resources/jediterm-bash.in | patch | blob | history |