Bugfix: the GUI showed source feeds as unavailable, even when we wanted source code
[zeroinstall/solver.git] / zeroinstall / 
tree2eb0d5ad649f58e3db82692f09f828bf35547d33
drwxr-xr-x   ..
drwxr-xr-x - 0launch-gui
-rw-r--r-- 1592 __init__.py
-rw-r--r-- 2751 alias.py
-rw-r--r-- 9556 apps.py
drwxr-xr-x - cmd
drwxr-xr-x - gtkui
-rw-r--r-- 4165 helpers.py
drwxr-xr-x - injector
drwxr-xr-x - support
drwxr-xr-x - zerostore