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) | ||
commit | de28cfd3ea325a96af1f47bc65283ebef972cf28 | |
tree | 580e153d7f11975e4b6f326ea75efabbc514a194 | tree |
parent | 82108c2759f1a8b928fd06fad0b410f29d1b57dc | commit | diff |
plugins/terminal/resources/jediterm-sh.in | diff | blob | history |