mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
* see the YT issue for more details (cherry picked from commit 676a021e221c430c6fd3b600640d7aec1503239e) (cherry picked from commit 5c8a478a2cc3edb148b684b48dfaf85f9d50627f) IJ-CR-147319 GitOrigin-RevId: 3d5caa7d348861bc904335db3ff0b1edef2a17b1