MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-15 02:59:33 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
e2d126ccf54af696a0409a9bb30dfb3ba58e979d
openide/community-resources
History
Alexander Zolotov f58a7e43b6 Update IDEA Community tips (IDEA-230798) 
GitOrigin-RevId: 4d70c0ea757ea9cc49d73cdb8bb9e297adb78499
2020-01-28 13:38:07 +00:00
..
src
Split ultimate and community tips and trick and load them from platform, not from java plugin
2020-01-24 14:37:54 +00:00
intellij.idea.community.resources.iml
Update IDEA Community tips (IDEA-230798)
2020-01-28 13:38:07 +00:00