projects / idea / community.git / commit
| 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) | ||
| commit | c673f4f8519193c6af9d639abb8661afa61bdd7a | |
| tree | 8a003988031215b1d0268af03734a8e5e5d430a9 | tree |
| parent | c215a8c36853278c096c7ef5861e0015eb17b5c5 | commit | diff |
| plugins/terminal/resources/.zshrc | diff | blob | history | |
| plugins/terminal/resources/fish/config.fish | diff | blob | history | |
| plugins/terminal/resources/jediterm-bash.in | diff | blob | history |