mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
The specified version includes changes made in 5bf42471b75a6cde. (cherry picked from commit 5aa940d89a77433b765459d06bfdbcc0f2b38b22) IJ-CR-146846 GitOrigin-RevId: 6949d19f6a4407d8fdd30225f770ff8aa7133430