mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-15 18:53:43 +07:00
d85189374d
(cherry picked from commit 85f88420716c2bb2e0a73d524a33656a5699cf9f)