mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-18 18:31:55 +07:00
6d2b2ced11
(cherry picked from commit 3d50c0c08eaee71d14604ca9dfb0fcb2218c9b5c)