mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 08:51:02 +07:00
#IDEA-367313 fixed Merge-request: IJ-MR-155973 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: cdaed6390cfede7196f6be28c6e04854e208e72e