mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
Signed-off-by: Jakub Chrzanowski <jakub.chrzanowski@jetbrains.com> (cherry picked from commit 5d694421ef2a3cc5846ce4fdc3320a73d4b1bf41) IJ-CR-151317 GitOrigin-RevId: adef0280c7a8c33545ff8c47a6a9c714d64ed03c