Notify if update_diff_style does not exist

This commit is contained in:
Dennis ten Hoove 2024-07-28 19:43:20 +02:00
parent e364d663be
commit f3c4e4c293
No known key found for this signature in database
GPG key ID: 2BA91DC2563B83D1

3
arkdep
View file

@ -697,6 +697,9 @@ diff () {
printf " $rem\n"
done
fi
else
printf "Update diff style \"$update_diff_style\" does not exist\n"
exit 1
fi
exit 0