mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit 337f5c22e4f2d26d8d760536dae375591b0bd9c4) IJ-MR-118635 GitOrigin-RevId: 7a21fe3e227174a4bd70d0add7ebf80ce49d8dd2