MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-07 19:36:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
443,250 Commits 17 Branches 7 Tags
122bc7ffc37f5824cdc0d413ecfb276da656ce8a
Commit Graph

1 Commits

Author SHA1 Message Date
Andrey Cherkasov
d7ddd45967 [java-highlighting] Record Patterns (Second Preview) in Java: fix false negative of the error Pattern is not exhaustive 
IDEA-312087

GitOrigin-RevId: 8d7a892726aa233a97a16721a6cea1755465f7c4
 2023-02-01 10:44:13 +00:00