mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:10:43 +07:00
required for the Split mode local execution (cherry picked from commit b1f1a7ea958eaf6d8130f49a40bb1c255c963a3c) IJ-CR-151551 GitOrigin-RevId: 3f1950a53e665e91b350d7ee1183ae9b287d0557