diff options
| -rw-r--r-- | update_manual.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/update_manual.py b/update_manual.py index d6c069cd..8c21b1b4 100644 --- a/update_manual.py +++ b/update_manual.py @@ -145,9 +145,3 @@ if __name__ == "__main__": # ask for git status (the user has to commit himself) command_status = ['git', 'status'] call(command_status) - - - - - - |