projects / idea / community.git / commit
| author | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
| Mon, 10 Oct 2016 20:08:06 +0000 (22:08 +0200) | ||
| committer | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
| Tue, 11 Oct 2016 02:14:51 +0000 (04:14 +0200) | ||
| commit | 5f705629f46176cde7b2f782b579f420f3327baf | |
| tree | f4471db63b0781677b0fc05eead1cd1ac8983027 | tree |
| parent | 5528e1155b4a13ae359f65ba3b01c10acef01a94 | commit | diff |
| plugins/terminal/resources/jediterm-sh.in | diff | blob | history |