Try to update an icon if the user presses "Refresh"
[zeroinstall/zeroinstall-rsl.git] / zeroinstall / injector / 
tree7edcb1bfffb30695e7a28de3a8470c836e288cd4
drwxr-xr-x   ..
-rw-r--r-- 833 __init__.py
-rw-r--r-- 3979 arch.py
-rw-r--r-- 1828 autopolicy.py
-rw-r--r-- 8069 background.py
-rw-r--r-- 14252 cli.py
-rw-r--r-- 6577 distro.py
-rw-r--r-- 8138 download.py
-rw-r--r-- 13204 fetch.py
-rw-r--r-- 10002 gpg.py
-rw-r--r-- 5772 handler.py
-rw-r--r-- 13808 iface_cache.py
-rw-r--r-- 31368 model.py
-rw-r--r-- 696 namespaces.py
-rw-r--r-- 15285 policy.py
-rw-r--r-- 2377 qdom.py
-rw-r--r-- 5893 reader.py
-rw-r--r-- 5639 run.py
-rw-r--r-- 7404 selections.py
-rw-r--r-- 9921 solver.py
-rw-r--r-- 5007 trust.py
-rw-r--r-- 2086 writer.py