mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Change the "helpers-pro" path from `python-ce/helpers-pro` to `python/helpers-pro` Merge-request: IJ-MR-137799 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> GitOrigin-RevId: 097aebb0e82024bcee84d7527a39813285e94414