mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
It makes sense to disable it by default in favor of already enabled sticky lines GitOrigin-RevId: 1a865c99aa03843127f9cc6d820e00e8c359b5a4