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-02-04 23:39:07 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
e2447d3dba4f7ac9e612e2e143802defbea02960
openide
/
platform
/
core-api
History
Vera Petrenkova
f8ba95e689
IJPL-156120 IDE should not restart after third-party language plugin is installed
...
GitOrigin-RevId: b378884d654b6a9e998c55c3e36cdb0ae7446ee1
2024-06-26 17:09:11 +00:00
..
resources
IJPL-156120 IDE should not restart after third-party language plugin is installed
2024-06-26 17:09:11 +00:00
src
IJPL-156120 IDE should not restart after third-party language plugin is installed
2024-06-26 17:09:11 +00:00
api-dump-unreviewed.txt
[i18n] add API for getting selected locale from LocalizationUtil
2024-06-24 09:25:24 +00:00
exposed-private-api.txt
IJPL-149912 fix api-dump
2024-05-26 16:15:13 +00:00
exposed-third-party-api.txt
…
intellij.platform.core.iml
…
