mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
Also use 'Current' run configuration instead of generated one IJ-CR-103403 GitOrigin-RevId: 4e1f775e40e012648f16209385f2d079081ba910
Also use 'Current' run configuration instead of generated one IJ-CR-103403 GitOrigin-RevId: 4e1f775e40e012648f16209385f2d079081ba910