mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-07-14 01:26:26 +07:00
f738b512a3
(cherry picked from commit 94d5c96730900e0f21cc3bd48143f2dea4411ae6)