mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
It makes sense to disable it by default in favor of already enabled sticky lines GitOrigin-RevId: 135239b55b29ef6b433c0b8aaad1b57e78b7d565