mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
Rename STREAMS to STREAM_OPTIONAL; use features instead of isLanguageLevel8OrHigher GitOrigin-RevId: 36f56560f6c7ca626a268d8b07da86497f2501a0