mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
if something else is changed in the configuration, then explicit setting would be saved to the configuration file which will break compatibility with old IJ (before 2017) GitOrigin-RevId: e746aaa0504657750f20935993ac97f81ab02363