mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit a9dd773947b75e850c1e74e209bec9330ae8d74f) IJ-MR-143222 GitOrigin-RevId: 16f075b18210dbd73a8e04e86282064048c06b99