mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 13:55:00 +07:00
#IDEA-216276 Fixed Merge-request: IJ-MR-171237 Merged-by: Marcin Mikosik <marcin.mikosik@jetbrains.com> GitOrigin-RevId: 5aab229888a361d3d4f653708b7f42d832c44645