4f793125d1
There is a double reason for this: * Better performance when developers/users choose local mirrors * Allows to continue developing if a mirror is down |
||
---|---|---|
.. | ||
__init__.py | ||
init.py | ||
load.py | ||
merge_with_args.py | ||
pmaports.py | ||
save.py | ||
workdir.py |