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-04-20 05:21:29 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
7179ee2e20f698dded85e6d93f21111fb2df2ff2
openide
/
platform
/
icons
History
Dima Golovkov
cbbdf18297
Update coverage icons for IntUI
...
GitOrigin-RevId: f683bfef073d5d6ef18c4594cebd0e6c6331b123
2023-08-20 12:16:46 +00:00
..
compatibilityResources
/actions
restore showViewer (still used by platform), remove chrome16, output.png and showHiddens.png icons (deprecated for a long time)
2023-03-06 10:12:22 +00:00
src
Update coverage icons for IntUI
2023-08-20 12:16:46 +00:00
intellij.platform.icons.iml
…
