This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-09-26 19:06:24 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
acc75fbbff15d325e3b40558ceb3487d373fe36e
openide
/
plugins
/
devkit
T
History
Anna Kozlova
c695f0fade
images: choose same HiDPI icon when requested is absent
2017-01-23 15:21:16 +03:00
..
gen
/icons
…
jps-plugin
…
lib
…
resources
images: filter icons by theme (internal)
2017-01-23 11:47:53 +03:00
src
images: choose same HiDPI icon when requested is absent
2017-01-23 15:21:16 +03:00
testData
Plugin descriptors: remove deprecated attribute idea-plugin@version (IDEA-163694)
2016-11-11 17:08:58 +01:00
testSources
[devkit] cleanup tests
2016-11-09 12:02:42 +01:00
devkit-tests.iml
…
devkit.iml
images: filter icons by theme (internal)
2017-01-23 11:47:53 +03:00
