mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(cherry picked from commit 29f3f0852da0b98459c97bc87ae70cb91f8dc26d) IJ-CR-150420 GitOrigin-RevId: ca0ba23fe32d59f18e0b35d61bf9c9f12f9cd76b