mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit a4d97acc80af112f7fe3b51eedaab770f6a03b29) (cherry picked from commit 7f4bf1bdaf815d17c9b455b2bab89b042dae03e0) IJ-MR-173046 GitOrigin-RevId: b2c3e20c66e89a48134c4874c39c75106a6e495a