Merge app branchapps
[zeroinstall.git] / zeroinstall / support / 
treee7f14a2db3fcdde9eafbec978b442cf763f0bde0
drwxr-xr-x   ..
-rw-r--r-- 2928 __init__.py
-rw-r--r-- 5002 basedir.py
-rw-r--r-- 2350 ssl_match_hostname.py
-rw-r--r-- 11789 tasks.py
-rw-r--r-- 1239 xmltools.py