MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 14:23:28 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
4ca3ccd49776e9a298773fcf26f6cb4a10afc06c
openide/java/ide-resources
History
Alexey Kalina d867333250 [features-registry] add some features for existing tips in features registry 
(cherry picked from commit 2a91a43bc956d658207ba283d9b161dade15c148)

IJ-MR-13748

GitOrigin-RevId: b6bf6a4e8d5273f274bf342de8726cdc01fc9c2d
2021-10-28 14:36:37 +00:00
..
resources
[features-registry] add some features for existing tips in features registry
2021-10-28 14:36:37 +00:00
intellij.java.ide.resources.iml
…