Tell the user when a background update completes, not when it starts
[zeroinstall/solver.git] / zeroinstall / 
tree2a6e53fcd0ad26f1f59c2ecf7ea2cfd97de09cd2
drwxr-xr-x   ..
drwxr-xr-x - 0launch-gui
-rw-r--r-- 1669 __init__.py
-rw-r--r-- 2828 alias.py
-rw-r--r-- 9598 apps.py
drwxr-xr-x - cmd
drwxr-xr-x - gtkui
-rw-r--r-- 4192 helpers.py
drwxr-xr-x - injector
drwxr-xr-x - support
drwxr-xr-x - zerostore