mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 65dbe6fb647d41b61641d0456270f0144fe7d9df) IJ-CR-159965 GitOrigin-RevId: 2f63fc9dbb6bb097f13897f9801c7a80acdf1875