mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076)
(cherry picked from commit e4ceb8f367)
(cherry picked from commit c04ce4e31d29757b01124bef5d56341c1d5c3076)
(cherry picked from commit e4ceb8f367)