mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
In Kotlin streams should be not used, in Java extensions() maybe not performant if you in any case traverse the whole extension point GitOrigin-RevId: f9ef0ce23617ffc8c89a4fe6df54142b8f6ca7dc