mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 21:11:28 +07:00
251-only. (cherry picked from commit 0008644251fa73039bd7fbfad50ba24899cdda66) IJ-MR-169155 GitOrigin-RevId: 9a84f048cb6dcc6d603b8ddd33e6a30187557322