MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-07 13:39:36 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
c38cdeb515c78f8f37d76e463214b17bcb033f57
openide/java/execution
History
Dmitry Avdeev 93d74d2972 EA-840494 F: JrePathEditor.buildModel 
no need for read action here

GitOrigin-RevId: f4b0441a5b7d8a70c9a2a9ebe1340243298607ef
2023-10-20 19:13:42 +00:00
..
impl
EA-840494 F: JrePathEditor.buildModel
2023-10-20 19:13:42 +00:00
jshell-frontend
…
jshell-protocol
…
openapi
[platform] IJPL-49: Improve i18n handling
2023-09-17 22:58:03 +00:00