mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
(partially cherry picked from commit 7fac25c2d91c29638f3928b5175f4249b678fefd) GitOrigin-RevId: f21706f6c3779247e0bec39a9f08b4860ce7b9d9