mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-21 14:29:12 +07:00
ad9486dbf7
(cherry picked from commit c812622e14b3cb86ec18cedd406118789abb2e83)