mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
(cherry picked from commit 12be53eb0de6d0275e802975ea5ca40ad5f15fb2) IJ-CR-148689 GitOrigin-RevId: b99d56037523f57c63efc1eba399afd7e85a43d5