mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
It makes sense to disable it by default in favor of already enabled sticky lines GitOrigin-RevId: 0b81a8893d7473308c0a38178cf3f979065b452d