MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-05 08:06:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
3859f78b772480d9ebd9fc17ba8a96e92fa4bc9b
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