mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-24 14:12:44 +07:00
99f4b3a821
(cherry picked from commit d8bbd5c1b70135cd1eee5215dd2bffaf6d16e905)