mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 10:07:41 +07:00
This is important for scenarios of co-usage of the tools, which become more important when using worksapces. GitOrigin-RevId: ceeb0b433935484fce450992c5beee377b6cbe80