mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
This is important for scenarios of co-usage of the tools, which become more important when using worksapces. (cherry picked from commit 1ee93831c703cf684c1e301f22217c699469e21c) IJ-MR-167553 GitOrigin-RevId: 8f4f59499d7fa83e2664ca4389c2e6041740fe6d