mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-14 22:41:58 +07:00
f2c576c7de
(cherry picked from commit f986c7c3541f032da16736f43fd34c92337242c4)