projects / idea / community.git / commit
| author | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
| Mon, 22 Oct 2018 15:56:29 +0000 (17:56 +0200) | ||
| committer | Dmitry Trofimov <dmitry.trofimov@jetbrains.com> | |
| Mon, 22 Oct 2018 15:56:29 +0000 (17:56 +0200) | ||
| commit | b8765aa0e063eb7f0cef9c80bc1b1ea34be60402 | |
| tree | 3a1eedd338226d9fe4f55106542a9b2e0a8b232f | tree |
| parent | 5c787e2e8c650b9647dc170ef0e0528262661dbc | commit | diff |
| parent | 112b8e113c35446720136976b039ae15b5d5bf6b | commit | diff |
| plugins/terminal/resources/jediterm-bash.in | diff1 | | diff2 | | blob | history |