dev tools: Remove a superfluous empty line.

This commit is contained in:
Daniel Shahaf
2016-09-25 08:08:45 +00:00
parent e5782e4ddf
commit a053768627
10 changed files with 0 additions and 10 deletions

View File

@@ -59,7 +59,6 @@ if ! read -q "?Set copyright year to $year? "; then
fi
exec >$fname
<$0 sed -n -e '1,/^$/p' | sed -e "s/2[0-9][0-9][0-9]/${year}/"
echo ""
# Assumes stdout is line-buffered
git add -- $fname