mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
-change text message for separation (cherry picked from commit ec698d7db913aafcbfb4ecad33a8332f4dc74b63) (cherry picked from commit e313114e47ab0c9c17c31dd892a1a8c16f87bbec) IJ-MR-169535 GitOrigin-RevId: 7ce97a5e885fb4ab3c7031b53e66e2cfa602f50a