mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 30a865e64cee7be630567b7d23223fc79eac9dbf) IJ-MR-168826 GitOrigin-RevId: 8383913015485a6b6e477131c47d502bb655dd30