mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit229bbbaa34) (cherry picked from commit5bb715384c) (cherry picked from commitba6f7107b3) (cherry picked from commit82acad36ca)