Read correct configs for non-login interactive shell (IDEA-114126)
[idea/community.git] / plugins / terminal / resources / jediterm-sh.in
2016-08-31 Dmitry TrofimovRead correct configs for non-login interactive shell...
2016-08-31 Dmitry TrofimovMerge remote-tracking branch 'origin/master'
2016-08-31 Dmitry TrofimovFix loading rc config file; fix alt+left/right handling...