mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
This reverts commit 8e4aea3971cc3ff30fd1ba6d917313022d79611c. Scanning is almost two times slower on ultimate and community with the shared PersistentSet GitOrigin-RevId: bdec3860dd9b0068fc0707593b2cb75a98f7be4f