This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-09-27 10:03:11 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
dc1a52762ea00086efa97482df0d1352023307d6
openide
/
plugins
/
terminal
T
History
Leonid Bushuev
9f35a30458
SQL code style per dialect: UI
...
GitOrigin-RevId: 72cca4d6a23a5e2aa2089c03932ab2e9d08bfa48
2019-05-03 01:36:24 +03:00
..
compatibilityResources
/icons
…
resources
plugin.xml: remove redundant 'serviceInterface' attribute (IDEA-202010)
2019-04-18 17:37:36 +02:00
src
SQL code style per dialect: UI
2019-05-03 01:36:24 +03:00
tests/org/jetbrains/plugins
/terminal
…
intellij.terminal.iml
terminal: show confirmation dialog on attempt to close it if there are running processes (IDEA-205690)
2019-03-23 14:44:29 +03:00
