mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 21:11:28 +07:00
Also, provide support for Unix shell paths stored when `terminal.use.EelApi` was enabled. (cherry picked from commit 6063ac7a335d879020b10bf5480d24ae91155558) IJ-CR-172541 (cherry picked from commit 6884a32b16de1d51dd9f1708323784c9e72541ce) GitOrigin-RevId: 635a131dadac5590249f473e6eb03d3c14a56e54