MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
92d85cab3c919db8e38d5fcdc8a23cd27ac8576c
openide/bin
History
Nikita Iarychenko 84a195c097 OPENIDE #153 Help -> Edit Custom Properties: idea in file name 
(cherry picked from commit 2e474f259f)

(cherry picked from commit f646d43bc9)
(cherry picked from commit d8ce760ae5)
2025-12-15 12:53:41 +04:00
..
linux
…
mac
…
win
…
openide.properties
OPENIDE #153 Help -> Edit Custom Properties: idea in file name
2025-12-15 12:53:41 +04:00