Merge remote-tracking branch 'upstream/v0.10'
authorTimothy J Fontaine <tjfontaine@gmail.com>
Mon, 30 Dec 2013 23:55:47 +0000 (15:55 -0800)
committerTimothy J Fontaine <tjfontaine@gmail.com>
Mon, 30 Dec 2013 23:55:47 +0000 (15:55 -0800)
commit3dcb71f962f4d0a1032b442840611cafdbea9676
treeaee6b65536ee64d482fa01828fcd1d5801bfbb62
parent7ced966a32dd18b4de2768f41796af76638341f9
parentcb5da7b443513627436a276ea4249779930d4648
Merge remote-tracking branch 'upstream/v0.10'
tools/install.py