Normal cleanup

Author: Michael Vasseur

.github/jobs/baseinstall.sh

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