Minor style improvement to policy menu.
[zeroinstall.git] / zeroinstall / 
treedc644f7d0ce6f6b8697c685059f7b0a951d73746
drwxr-xr-x   ..
drwxr-xr-x - 0launch-gui
-rw-r--r-- 857 __init__.py
drwxr-xr-x - injector
drwxr-xr-x - zerostore