mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
to speed up indexing of java `.class` files. See IDEA-320457 for full explanation GitOrigin-RevId: adb118716a6859db0e2f5f3d386a02d7ae274bbb