mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076)
(cherry picked from commit dd6672929b)
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076)
(cherry picked from commit dd6672929b)