MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-06 01:06:54 +07:00
Code Issues Packages Projects Releases Wiki Activity
451,305 Commits 17 Branches 7 Tags
ed954c5ca9c5a01ca82edfd769abc6dad857b695
Commit Graph

1 Commits

Author SHA1 Message Date
Mikhail Pyltsin
76d10b31f3 [java-rd] IDEA-322563 Improve editing experience in Remote Dev for Java 
- fix while completion

GitOrigin-RevId: 40827f77037557eab988d33d8170bd4446b8478a
 2023-09-18 23:01:45 +00:00