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