mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
This is needed to reduce number of platform properties which are included into all IDEs (IDEA-209382). GitOrigin-RevId: 4a93589a699d51d82a80c17b8a5564711aef2daf