diff --git a/tmp/customer_szeged_281/.githooks/post-merge b/tmp/customer_szeged_281/.githooks/post-merge index 7a301be..74dbcf2 100755 --- a/tmp/customer_szeged_281/.githooks/post-merge +++ b/tmp/customer_szeged_281/.githooks/post-merge @@ -33,3 +33,4 @@ for fn in $(git diff-tree -r HEAD@{1} HEAD --name-only); do fi done +