mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit 2b438cae14586d8303707d4e0ac299e6d8656364) IJ-CR-140104 GitOrigin-RevId: eab909ea1377fd8bb4dc5884fbe0420c9c4c81e9