mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
- extracted new option - reuse this option in MissortedModifiersInspection - override uses this option too GitOrigin-RevId: 39f3f72991240753c86c7f80df865728aa9743ad