mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
DUMB_RUNTIME_ONLY_INDEX currently means "entities available on project opening" (even if those entities are sources) GitOrigin-RevId: 95d770e9cbf7ba3e41a0b56b0412c71ae5951144