mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit a225c3c102f594b9528df489c6117bed5b616234) IJ-CR-148348 GitOrigin-RevId: 4abf950a0d4c7caa8a6daef3272d1e391f91e434