MDS/openide
1
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
fix/persist-user-project-name
openide/plugins/jshell/execution/jshell-frontend.jar
T
Georgii Ustinov 0890fa0081 [Java] IDEA-379682 + IDEA-379740 Move JShell UI and Jshell Protocols to the plugin 
GitOrigin-RevId: d0bff379c9f73853ef6a172c4fe7c4c3055aea20
2025-09-29 15:04:05 +00:00

6.9 KiB
Raw Permalink History

View Raw
Reference in New Issue View Git Blame Copy Permalink