mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Also, some small fixes here and there to ensure it works correctly Space-RevId: 90f4b41c0eca9aae4c49841d756f7c96f805fcff GitOrigin-RevId: 844c13869fb113df46537c4a644dbbfb8ba8c977