mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit e5b8c7d210f9919cd14a4aa5384928fe43435266) IJ-CR-147981 GitOrigin-RevId: 308ed8687b41e724aed2fd2004f760294c1ba264