Merge pull request #282 from Strech/master
authorBryan Jen <bryan.jen@gmail.com>
Wed, 10 Feb 2016 16:34:06 +0000 (09:34 -0700)
committerBryan Jen <bryan.jen@gmail.com>
Wed, 10 Feb 2016 16:34:06 +0000 (09:34 -0700)
Add mirror option for git cloning


Trivial merge