MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-04 00:20:55 +07:00
Code Issues Packages Projects Releases Wiki Activity
424,388 Commits 16 Branches 7 Tags
749f715eab35ad001855c8e65cb935e3e60ed0d9
Commit Graph

2 Commits

Author SHA1 Message Date
Daniil Ovchinnikov
27e155fc21 IJPL-167 bump language and API version 1.8 -> 1.9 
GitOrigin-RevId: 5204df1784bbbba550476415e4ceff7368ab5fd4
 2023-09-19 19:52:47 +00:00
Mikhail Pyltsin
e23e60a0eb [java-rd] IDEA-322563 Improve editing experience in Remote Dev for Java 
- lexer, parser, IElementType for frontend

GitOrigin-RevId: 8842d018eab3ca17749660520820174d4f792437
 2023-09-13 09:09:01 +00:00