mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-15 11:18:23 +07:00
f6de981477
(cherry picked from commit 32afe318e3bacd714f3e0b49d8f904402b17a9c2)