mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
Relates to IDEA-381232 (cherry picked from commit 8b6e24472a4cbe1362e52e9124d48e5feac6c64e) IJ-MR-179458 GitOrigin-RevId: 1e744850bd2833e0280fedd0ea6d957859736b19