author | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Sun, 9 Oct 2016 09:08:50 +0000 (11:08 +0200) | ||
committer | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
Sun, 9 Oct 2016 09:08:50 +0000 (11:08 +0200) |
plugins/terminal/resources/jediterm-sh.in | patch | blob | history |