Commit 37c7f21b54135591543377155ab59afb6a7bb49b

Thomas de Grivel 2017-02-08T00:23:26

Rename git commands to $git.