mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
A part of the effort to make scope providers BGT-safe. GitOrigin-RevId: efac89be376dd41e030c8cd7013bdd66d4c8af18
A part of the effort to make scope providers BGT-safe. GitOrigin-RevId: efac89be376dd41e030c8cd7013bdd66d4c8af18