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-27 10:03:11 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
fix/persist-user-project-name
openide
/
plugins
/
rareJavaRefactorings
/
resources
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
Roman Shevchenko
a9b21e8036
[ui] sorting "Other Tools": extracting "JVM Tools" category
...
GitOrigin-RevId: 97f75be06b969b46d49a5537afa4a615d7e24cdb
2025-06-17 21:35:22 +00:00
..
messages
…
META-INF
…
