MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-04 08:51:02 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
44e2e2673f8686594bfbe89db0c4eada4840c16a
openide/java/java-frontback-psi-api/resources
History
vladimir.petrenko 44e2e2673f RDCT-555 Sync language level to the client: rename, docs 
(cherry picked from commit 424eaf84b82de71398835516cdfb40d7c6e93035)

IJ-MR-116786

GitOrigin-RevId: 437d362879e9bdcd767885da277e263696993068
2023-11-03 15:16:58 +00:00
..
messages
…
intellij.java.frontback.psi.xml
RDCT-555 Sync language level to the client: rename, docs
2023-11-03 15:16:58 +00:00