Minor change to check commit...

This commit is contained in:
Gerhard Hoffmann 2023-05-24 12:01:28 +02:00
parent 13cfbb4932
commit 794229660c

View File

@ -52,3 +52,4 @@ for fn in $(git diff-tree -r HEAD@{1} HEAD --name-only); do
# source "$fn"
fi
done