mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 10:07:41 +07:00
see https://youtrack.jetbrains.com/issue/FUS-5195/Add-new-group-pycharm.miscProject#focus=Comments-27-11097340.0-0 GitOrigin-RevId: 6cf46f939d8092b85545ce87463b3af854afcf09