mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 66e1fd02704ee23a777bfa7dcbf52708b5a732ba) IJ-MR-7427 GitOrigin-RevId: d2a68bd870b45663c816f9f2d69f45bc75c221fb