mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-18 23:11:44 +07:00
ad9486dbf7
(cherry picked from commit c812622e14b3cb86ec18cedd406118789abb2e83)