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)
1  2 
tools/install.py

Simple merge