mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076) (cherry picked from commitdd6672929b) (cherry picked from commitc616055e7d)