mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076)
(cherry picked from commit dd6672929b)
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076)
(cherry picked from commit dd6672929b)