Fix bug that made user selected per feed stability not work
[zeroinstall.git] / zeroinstall / 
tree8c68b7a8adf909c43b3897b620c9d8c1fe3c6378
drwxr-xr-x   ..
drwxr-xr-x - 0launch-gui
-rw-r--r-- 1467 __init__.py
-rw-r--r-- 1758 alias.py
drwxr-xr-x - gtkui
-rw-r--r-- 3944 helpers.py
drwxr-xr-x - injector
drwxr-xr-x - support
drwxr-xr-x - zerostore