Allow Fetcher.feed_mirror to be None to disable mirroring
[zeroinstall/solver.git] / zeroinstall / injector / 
treeec42aa1eaaab86df0c1a4558e99fb22a3de4184f
drwxr-xr-x   ..
-rw-r--r-- 833 __init__.py
-rw-r--r-- 5265 arch.py
-rw-r--r-- 1853 autopolicy.py
-rw-r--r-- 8161 background.py
-rw-r--r-- 15089 cli.py
-rw-r--r-- 9104 distro.py
-rw-r--r-- 8250 download.py
-rw-r--r-- 15899 fetch.py
-rw-r--r-- 10258 gpg.py
-rw-r--r-- 13725 handler.py
-rw-r--r-- 14043 iface_cache.py
-rw-r--r-- 33720 model.py
-rw-r--r-- 542 namespaces.py
-rw-r--r-- 15313 policy.py
-rw-r--r-- 2403 qdom.py
-rw-r--r-- 5896 reader.py
-rw-r--r-- 5869 run.py
-rw-r--r-- 8665 selections.py
-rw-r--r-- 10719 solver.py
-rw-r--r-- 5039 trust.py
-rw-r--r-- 2112 writer.py