mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 18:28:55 +07:00
(cherry picked from commit 5685f6a07c8b0a4990886c5dafd842c8e7aaba31) IJ-CR-150531 GitOrigin-RevId: 8976bafe10bc8d2d86107817c0c0ee7f112c56e3