mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit a78a390ff009fe740c0d950362754788aa74fa3e) IJ-CR-177197 GitOrigin-RevId: 04b72a3b539eebb0f7c5bb5fbce78c33b8ea1dcb