mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
#IDEA-377335 Fixed Merge-request: IJ-MR-179742 Merged-by: Marcin Mikosik <marcin.mikosik@jetbrains.com> GitOrigin-RevId: 8ea1a93c936c5fe2e84bcee578ac9d21f921535f