devel/pycharm-pro: update to 2023.3.1
changes:
https://blog.jetbrains.com/pycharm/2023/12/2023-3-1/
Also remove http mirror from MASTER_SITES, because it's permanently redirects
to https url anyway.
devel/pycharm-pro: update to 2023.3.1 Tags None Referenced Files None Subscribers None
Description
Details
|