mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-22 19:49:20 +07:00
d85189374d
(cherry picked from commit 85f88420716c2bb2e0a73d524a33656a5699cf9f)