MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
9dcd3be3b588fd46bb03da92b0427dbd8e0a3f87
openide/java/execution
History
Roman Ivanov 0bad7508e8 rename JvmAutoRunManager to JavaAutoRunManager 
GitOrigin-RevId: 8168c0fa905c41c3136a40bd436ff81cc73cc2d3
2023-05-11 13:24:25 +00:00
..
impl
rename JvmAutoRunManager to JavaAutoRunManager
2023-05-11 13:24:25 +00:00
jshell-frontend
…
jshell-protocol
…
openapi
…