Merge branch 'master' into fix-1438-newline-can-be-added-even-if-style-plain

This commit is contained in:
David Peter authored and GitHub committed 2020-12-21 08:22:01 +01:00
commit 73c16574e6
3 files changed
+11 -9

No files matched your search

+1 -1
View File
@@ -4,7 +4,7 @@ set -eou pipefail
script_directory="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
output_directory=$(mktemp -d --suffix=.bat-syntax-regression-test)
output_directory=$(mktemp -d)
"$script_directory"/create_highlighted_versions.py --output="$output_directory"