MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-06 06:21:16 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
29ae3496e488a6e6c81240c0399815b407e2a8a1
openide/java/java-frontback-psi-api/resources
T
History
Bas Leijdekkers 54f80ad00b [java] define "record header" element kind 
GitOrigin-RevId: 91f02e6ab23e47e05612413074ef30eb31dd854d
2024-11-02 01:09:48 +00:00
..
messages
[java] define "record header" element kind
2024-11-02 01:09:48 +00:00
intellij.java.frontback.psi.xml
…