mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit df21458da5043d4e799f414ea09bf8111f8dff00) (cherry picked from commit e544103848aa6a756f05398f6679687a13d73672) IJ-CR-183009 GitOrigin-RevId: b0e64117e3384976c725634542fa97a741488848