mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
(cherry picked from commit 445ba46b8b54bc61f1c8af89304cfa53f56d2d04) IJ-MR-7199 GitOrigin-RevId: 748ab4f541e9ceedfe394ac41c74b8b95dc6e0a0