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
2025-12-13 15:52:01 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
252
Add File
New File
Upload File
Apply Patch
openide
/
bin
History
Nikita Iarychenko
f646d43bc9
OPENIDE
#153
Help -> Edit Custom Properties: idea in file name
...
(cherry picked from commit
2e474f259f
)
2025-10-08 11:03:20 +04:00
..
linux
…
mac
…
win
…
openide.properties
OPENIDE
#153
Help -> Edit Custom Properties: idea in file name
2025-10-08 11:03:20 +04:00