This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-01-07 13:39:36 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
e60c890f4572985dad215810d1fae2da1b8382d6
openide
/
java
/
java-psi-api
History
Roman Ivanov
e60c890f45
[java] PsiDefaultElement ->PsiDefaultCaseLabelElement
...
GitOrigin-RevId: 1ec42a39b2271a829d9dff6891a39f26e12aa4b7
2021-06-11 17:35:39 +00:00
..
resources
/messages
language level 17 (IDEA-271016)
2021-06-08 16:52:50 +00:00
src/com
/intellij
[java] PsiDefaultElement ->PsiDefaultCaseLabelElement
2021-06-11 17:35:39 +00:00
intellij.java.psi.iml
platform.core.impl — remove dependency on intellij.platform.util.ui and intellij.platform.core.ui
2020-09-21 13:40:47 +00:00
