mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-17 18:50:49 +07:00
f8e74f085c
(cherry picked from commit e94cddb696cbcb3e3a8d8e4f62f8903b4bd71403)