MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-06 13:20:53 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
715e914e308b5c3f0438fa625d8a09249359f1f9
openide/python/python-terminal
History
Sergey Simonchik 2812f1101e terminal: refactor TerminalOptionsProvider 
GitOrigin-RevId: 8d13ed2f5aae093ce3323234cb998784ac1a0464
2022-01-10 10:33:09 +00:00
..
resources
…
src/com/jetbrains/python/sdk
…
intellij.python.terminal.iml
…