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-01-08 15:09:39 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
c4eaec66559ad5568dee1134ebc0db85922fa2d0
openide
/
resources
History
Dmitry Jemerov
0031d85394
ensure we have plugin DOM in *Extensions and *ExtensionPoints files
2013-02-11 21:30:58 +01:00
..
src
ensure we have plugin DOM in *Extensions and *ExtensionPoints files
2013-02-11 21:30:58 +01:00
resources.iml
Drop stupid dependencies
2012-06-08 20:31:53 +04:00
