mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit 7b124b082d1469303d93e63fabfe193ecef91055) IJ-CR-181697 GitOrigin-RevId: 8ae70c3cc3074bdebe58a5023029e189052084a4