Formatting cleanup

Author: Michael Vasseur

.github/jobs/baseinstall.sh

@@ -42,7 +42,6 @@ else
     make domserver
     make install-domserver
 fi
-
 section_end
 
 section_start "SQL settings"
@@ -139,4 +138,3 @@ elif [ "$version" = "all" ]; then
     mysql_root "UPDATE user SET teamid = 1 WHERE userid = 1;" domjudge
 fi
 section_end
-