mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
enabled by default for consistency with other tools (cherry picked from commit df5a4b65c5f31b195bd091a91d16ea0bc7bcc36c) GitOrigin-RevId: 3b669ce15e9ad037bcff9c1e2638e2b823424ef7