# HG changeset patch
# User wenzelm
# Date 1335212782 -7200
# Node ID 7a316fef84a410d693aadb1294a9eb396f57cc18
# Parent  3eef88e8496b159a20cf333f1728e29a0f6f26f9
moved to ~isatest/.bashrc to accomodate AFP;

diff -r 3eef88e8496b -r 7a316fef84a4 Admin/isatest/isatest-settings
--- a/Admin/isatest/isatest-settings	Mon Apr 23 22:22:57 2012 +0200
+++ b/Admin/isatest/isatest-settings	Mon Apr 23 22:26:22 2012 +0200
@@ -7,8 +7,6 @@
 # source bashrc, we're called by cron
 . ~/.bashrc
 
-export ISABELLE_JDK_HOME="$JAVA_HOME"
-
 # canoncical home for all platforms
 HOME=/home/isatest