mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
It is needed to properly show 'current file' configuration running. GitOrigin-RevId: 96329953da9d05898d842b87b6b15ba1f0f729bd
It is needed to properly show 'current file' configuration running. GitOrigin-RevId: 96329953da9d05898d842b87b6b15ba1f0f729bd