mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
Co-authored-by: Peter Gromov <peter.gromov@jetbrains.com> Merge-request: IJ-MR-164808 Merged-by: Ilia Permiashkin <ilia.permiashkin@jetbrains.com> (cherry picked from commit 3515defd096aaf041b719fff47c7a18d539f93c4) GitOrigin-RevId: c4ce65568e8d28873e10add0fb4f13b62db8e548