Fix indentation error in git_helper.py

This commit is contained in:
Pieter-Jan Briers 2017-08-06 13:05:45 +02:00
parent d22d5b6e55
commit b616025b8d
1 changed files with 1 additions and 1 deletions

View File

@ -93,4 +93,4 @@ def reset_solution():
if __name__ == '__main__':
install_hooks()
update_submodules()
update_submodules()