Removed some unnecessary uses of Policy
[zeroinstall/solver.git] / zeroinstall / 0launch-gui / 
tree789e68de9bea53a18eeecefb213283502dddd683
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-- 7143 preferences.py
-rw-r--r-- 18867 properties.py
-rw-r--r-- 586 utils.py
-rw-r--r-- 47590 zero-install.ui