mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit 2d5c87d4de565e63dd31c6e03f3460ab68e312e6) IJ-CR-156962 GitOrigin-RevId: f34d00e23d74b05991609a8622128be793cf8231