i18n: git-branch "Deleted branch [...]" message
[gitweb.git] / git-pull.sh
index eb87f49062b70d707adebca4013809822123608b..f6b7b8404896c15487044bcfaa64f758faeeef06 100755 (executable)
@@ -114,7 +114,7 @@ do
        --d|--dr|--dry|--dry-|--dry-r|--dry-ru|--dry-run)
                dry_run=--dry-run
                ;;
-       -h|--h|--he|--hel|--help)
+       -h|--h|--he|--hel|--help|--help-|--help-a|--help-al|--help-all)
                usage
                ;;
        *)