MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-30 10:20:15 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
fad52671763ddc762a84e640e6fb6c512e104d05
openide/community-resources
History
Nikolay Chashnikov 93ebf714a7 [intellij project configuration] rename intellij.idea.community.resources module to intellij.idea.community.customization 
We need to add sources to this module (for IJPL-204), so its name won't be correct.

GitOrigin-RevId: ab377fb890531656679a95f5f4afc6de26776acb
2023-08-18 17:45:09 +00:00
..
resources
[project] dropping pointless //icon@ico attribute
2023-08-15 21:40:36 +00:00
intellij.idea.community.customization.iml
[intellij project configuration] rename intellij.idea.community.resources module to intellij.idea.community.customization
2023-08-18 17:45:09 +00:00