This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-04-19 13:02:30 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
06200217e83a1fdf6f3b3909db8e692bd5815928
openide
/
plugins
/
sh
/
core
History
Mikhail Mazurkevich
8a0a3bf103
[sh] IDEA-277486 Fix default shell interpreter detection if terminal plugin is unavailable
...
GitOrigin-RevId: 30f3967ae4c604b4958e9fb35614af40b0da4d5b
2023-11-02 23:34:39 +00:00
..
gen/com/intellij
/sh
…
grammar
…
resources
…
src/com/intellij
/sh
[sh] IDEA-277486 Fix default shell interpreter detection if terminal plugin is unavailable
2023-11-02 23:34:39 +00:00
testData
…
tests
…
intellij.sh.core.iml
…
