mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
The original fix targeted Web2Py support which is now discontinued (see PY-10145 and PY-49195). GitOrigin-RevId: 7a6edcf04d04f14317582cd35b4e61813285f710