mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit d370e9fb005f850246a377ae10e4e87ba924efbd) GitOrigin-RevId: aea57ce2819119f7f8cb877def6f13a65dc5e754
(cherry picked from commit d370e9fb005f850246a377ae10e4e87ba924efbd) GitOrigin-RevId: aea57ce2819119f7f8cb877def6f13a65dc5e754