mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit b0bbe0e292849ffe85e96d337e05efc42c3cd234) IJ-MR-189563 GitOrigin-RevId: 8d5be58453f3c4ddfdb36ab3faa985107c46f306