Print newline at beginning of installation output.

2019-08-04 10:43:30 +01:00 · 2019-08-04 10:43:30 +01:00 · 16b46da95f
parent 21f0339879
commit 16b46da95f
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -235,6 +235,7 @@ for i in $VARS; do
 	export "$i"
 done

+echo ""
 echo "Isabelle/DOF Installer"
 echo "======================"
 check_isabelle_version