mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 30a865e64cee7be630567b7d23223fc79eac9dbf) IJ-MR-168826 GitOrigin-RevId: 8383913015485a6b6e477131c47d502bb655dd30