Merged changes from master
treeafee7bfdf2ccac4449662ae8e24ca878cf41bf8d
-rw-r--r-- 12 .gitignore
-rw-r--r-- 520 0solve
-rw-r--r-- 26536 COPYING
-rw-r--r-- 2745 README
-rw-r--r-- 742 _download_child
-rw-r--r-- 55 setup.cfg
-rw-r--r-- 1334 setup.py
drwxr-xr-x - share
drwxr-xr-x - zeroinstall