mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
🍒 Cherry-picked from review IJ-CR-150489 Co-authored-by: Roman Shevchenko <roman.shevchenko@jetbrains.com> Merge-request: IJ-MR-152069 Merged-by: Andrzej Ratajczak <Andrzej.Ratajczak@jetbrains.com> GitOrigin-RevId: 2dbb243624ca0b687806b2d9e39bb87d21db97c9