MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-05 01:50:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
623a38b62d309dcf66838803d84486fbbab36706
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