tree d570b2c26081ff4794e72fa3dd2cc38062df9910
parent 5bca8d9358f5b08af40ac32f289bb14b18965cec
author Jerome Baum <jerome@jeromebaum.com> 1348580812 +0200
committer Jerome Baum <jerome@jeromebaum.com> 1348580812 +0200

Use git_do where appropriate