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-08 06:39:38 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
42d194904642664f44c564c92c5a26a58da81080
openide
/
plugins
/
devkit
History
Yann Cébron
42d1949046
[devkit] ExtensionPointDocumentationProvider: cleanup
...
GitOrigin-RevId: aa93dd8a6f3321e928671a8d42dc550e8856f435
2020-08-19 14:53:09 +00:00
..
devkit-core
[devkit] ExtensionPointDocumentationProvider: cleanup
2020-08-19 14:53:09 +00:00
devkit-java-tests
ExtensionPointDocumentationProvider: use HtmlChunk/HtmlBuilder API
2020-08-06 12:45:03 +00:00
devkit-kotlin-tests
[java-i18n] Support concatenations (IDEA-247986)
2020-08-19 09:12:15 +00:00
devkit-tests-api
IDEA-CR-2295: [dynamic plugins] an inspection to detect potentially leaking map keys (Language/FileType) #IDEA-245855 fixed
2020-07-16 11:10:50 +00:00
jps-plugin
cleanup (final)
2020-06-26 12:21:17 +03:00
