mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
- use normal by default (cherry picked from commit 774eb7a28c0e2ccb794312e3fc0b225aff17da7c) GitOrigin-RevId: 3e94886091d96b2848848aa0ddc543c315fc2e06