mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 05:09:37 +07:00
(cherry picked from commit a7476344408cd0fd6679c09c5d3ff0e5c87deae9) IJ-MR-9064 GitOrigin-RevId: 2a541849b4cb469af8e485ad51426ed181d4b2f6