When saving user_overrides, pick a random name for the tmp file, not just
[zeroinstall.git] / zeroinstall / 
treec0807e037d2433293337748e5788b507c01be4e1
drwxr-xr-x   ..
drwxr-xr-x - 0launch-gui
-rw-r--r-- 857 __init__.py
drwxr-xr-x - injector
drwxr-xr-x - zerostore