mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(partially cherry picked from commit 7fac25c2d91c29638f3928b5175f4249b678fefd) GitOrigin-RevId: f21706f6c3779247e0bec39a9f08b4860ce7b9d9