MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 04:51:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java] Remove remnants after 20-preview deletion

Browse Source 
GitOrigin-RevId: 98809eafe396f7bd06d4957d8ac70f9b9425a81e
This commit is contained in:
Tagir Valeev
2024-02-13 15:39:11 +01:00
committed by intellij-monorepo-bot
parent 5a46a4b596
commit 8adb7bb36d
4 changed files with 3 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/java-frontback-psi-impl/src/com/intellij/psi/impl/source/BasicJavaElementType.java
View File

@@ -143,7 +143,6 @@ public interface BasicJavaElementType {
IElementType BASIC_DECONSTRUCTION_LIST = new IJavaElementType("DECONSTRUCTION_LIST");
IElementType BASIC_DECONSTRUCTION_PATTERN_VARIABLE =
new IJavaElementType("DECONSTRUCTION_PATTERN_VARIABLE");
IElementType BASIC_PARENTHESIZED_PATTERN = new IJavaElementType("PARENTHESIZED_PATTERN");
IElementType BASIC_DEFAULT_CASE_LABEL_ELEMENT =
new IJavaElementType("DEFAULT_CASE_LABEL_ELEMENT");
IElementType BASIC_CASE_LABEL_ELEMENT_LIST = new IJavaElementType("CASE_LABEL_ELEMENT_LIST");