MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-18 14:04:25 +07:00
Code Issues Packages Projects Releases Wiki Activity
215,486 Commits 24 Branches 8 Tags
4b0eec673a7728cdaf94bfcd9038ae9abfab6d21
Commit Graph

3 Commits

Author SHA1 Message Date
Roman Shevchenko 9f05380c48 [java] merges language level name and JDK version description 2018-01-18 13:54:45 +01:00
Roman Shevchenko 74daf8d522 [java] improves "unsupported language level" message (IDEA-168859) 2017-03-06 11:27:27 +01:00
Roman Shevchenko bf4759fccb [java] module declaration highlighting (file-level) 2016-06-29 21:02:23 +03:00