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