mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-25 17:07:05 +07:00
(cherry picked from commit 3c0ee1c4b48cb04e6e1ed8755fa36252123ae0e6) IJ-CR-182932 GitOrigin-RevId: 6ac449fb3da473def7add54ee223c9a2c403b128