# HG changeset patch
# User wenzelm
# Date 1476392360 -7200
# Node ID 2e6597279d3898d401e2d3f949c86e43065b5de6
# Parent  f38d39c57959d1fbcf6eda5aa3eda0512fefe2c9
tuned whitespace;

diff -r f38d39c57959 -r 2e6597279d38 Admin/build_history
--- a/Admin/build_history	Thu Oct 13 21:44:42 2016 +0200
+++ b/Admin/build_history	Thu Oct 13 22:59:20 2016 +0200
@@ -2,9 +2,7 @@
 #
 # DESCRIPTION: build history versions from another repository clone
 
-
 THIS="$(cd "$(dirname "$0")"; pwd)"
 
 "$THIS/build" jars || exit $?
-
 exec "$THIS/../bin/isabelle_java" isabelle.Build_History "$@"