mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 3c0ee1c4b48cb04e6e1ed8755fa36252123ae0e6) IJ-CR-182932 GitOrigin-RevId: 6ac449fb3da473def7add54ee223c9a2c403b128