mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 06:39:38 +07:00
API of DirectoryIndex may change while we are working on updating the underlying structures incrementally (IDEA-276394). GitOrigin-RevId: e7504149499a25fc911dfdc87e6bb59f6d456396