mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-14 08:14:43 +07:00
f90c603a81
(cherry picked from commit 701378494912e1f8a52c8f0c9bc18d61e2f3ebbf)