mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit b781e1af630ee21d48d1aaa4e45021ffda99e3e2) Approved in IJ-CR-154323 (cherry picked from commit e29665a0f9fad691fdedd49e168f91f026ebc0a1) IJ-CR-154403 GitOrigin-RevId: 75b5c3c733e1d46273d9419feac20327507fd7da