mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
(cherry picked from commit ef914109fee54bee557edb880633bb6111e81718) IJ-CR-192311 GitOrigin-RevId: 5fe17d9396d3bb94ed7eb2b09443c38ef2f5ba99