mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(commit 6ac8e5a9c13fcb5f26d8719020affcaf064bd429) (cherry picked from commit a8c8505210f67bd029eb26f3072878785b7330ba) IJ-MR-191586 GitOrigin-RevId: a61fd29ad3e5c1ac5d9fc70204c044b9b6867b19