mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-20 09:09:20 +07:00
b2a07e2eee
(cherry picked from commit 890ffa719208e467b1ba238d248dbbf102c71b76)