mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit d370e9fb005f850246a377ae10e4e87ba924efbd) GitOrigin-RevId: aea57ce2819119f7f8cb877def6f13a65dc5e754
(cherry picked from commit d370e9fb005f850246a377ae10e4e87ba924efbd) GitOrigin-RevId: aea57ce2819119f7f8cb877def6f13a65dc5e754