--- 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 "$@"
changeset 64200	2e6597279d38
parent 64021	1e23caac8757
child 64223	9d5b9f41df77