mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit a51c760c1bfae581d96377b1018bad6f82f8a892) (cherry picked from commit b069cd620809e896d0ef73a94ee64ca8d7ec5645) IJ-MR-173754 GitOrigin-RevId: 893ad79572ba06144d41e3dfaa3e92dcf7b34d36