mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-12 13:40:19 +07:00
Original MR to master: https://code.jetbrains.team/p/ij/repositories/ultimate/reviews/147074/timeline Merge-request: IJ-MR-150150 Merged-by: Sergey Pak <Sergey.Pak@jetbrains.com> GitOrigin-RevId: b333a198101a5c624b60033a3965d0458ad75177