mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 0e0ff962e8a8fd57a708e3ad728aa937c271ac91) IJ-CR-148640 GitOrigin-RevId: 7837adbb514543ef1f827242b7bae9dc881dae85