mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 3efd5995e6240f0a44e7d943ce1dd3c1e18b7aa9) (cherry picked from commit 27ee81798fc455d7b446b1c6dd12618918259dd7) IJ-MR-155570 GitOrigin-RevId: 23043707a235a2103df1880b4645f154997ca5c9