mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit 024fa24fdcf8d8a6afc9007a72c90f59e5add7d7) IJ-MR-176829 GitOrigin-RevId: 1e16e0798678d1972efbd61ffabf6f2d8b1c5911