mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
adding possibility to adjust default RunnerAndConfigurationSettings, e.g. "isEditBeforeRun" GitOrigin-RevId: f95d3221fd4f34fe637c41749d635d351bd0ad03