mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 08:51:02 +07:00
This is needed to reduce amount of platform properties which are included into all IDEs (IDEA-209382). GitOrigin-RevId: 545fb9e9284185b93fa0e12598f504428c686e6e