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-03-22 06:50:54 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
2a853b3ba0fe0700c482d55c5c2895e54d6ae7de
openide
/
bin
History
Nikita Iarychenko
d8ce760ae5
OPENIDE
#153
Help -> Edit Custom Properties: idea in file name
...
(cherry picked from commit
2e474f259f
) (cherry picked from commit
f646d43bc9
)
2025-12-05 11:14:15 +04:00
..
linux
…
mac
…
win
…
openide.properties
OPENIDE
#153
Help -> Edit Custom Properties: idea in file name
2025-12-05 11:14:15 +04:00