mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
MR Duplicates https://code.jetbrains.team/p/ij/repositories/ultimate/reviews/174443/timeline with the fixes in the compilation Merge-request: IJ-MR-175157 Merged-by: Georgii Ustinov <georgii.ustinov@jetbrains.com> GitOrigin-RevId: ddadcddee43c7a04d5aabf88d81f2aba9b56c8c7