Bugfix: the GUI showed source feeds as unavailable, even when we wanted source code
[zeroinstall/solver.git] / zeroinstall / 0launch-gui / 
tree43e70f93dd2426d9ac9e67183c5a0395902fbd2a
drwxr-xr-x   ..
-rwxr-xr-x 1272 0launch-gui
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1387 README
-rw-r--r-- 464 browser.py
-rw-r--r-- 7238 bugs.py
-rw-r--r-- 3252 compile.py
-rw-r--r-- 1043 dialog.py
-rw-r--r-- 675 freshness.py
-rw-r--r-- 2909 gui.py
-rw-r--r-- 18095 iface_browser.py
-rw-r--r-- 6466 impl_list.py
-rw-r--r-- 5191 main.py
-rw-r--r-- 9577 mainwindow.py
-rw-r--r-- 7150 preferences.py
-rw-r--r-- 19018 properties.py
-rw-r--r-- 586 utils.py
-rw-r--r-- 47590 zero-install.ui