mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +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: 0b2f9df27d9580c22e78f8017b5d21edeb39e8df