# HG changeset patch
# User kleing
# Date 1114773158 -7200
# Node ID 7dee3396d8b04bc9253670e25d2729b8dca7739e
# Parent  c5d873a86e0f62bad222893561a5bd93c7af5b75
move isadist to ~/tmp/

diff -r c5d873a86e0f -r 7dee3396d8b0 Admin/isatest-check
--- a/Admin/isatest-check	Fri Apr 29 13:11:42 2005 +0200
+++ b/Admin/isatest-check	Fri Apr 29 13:12:38 2005 +0200
@@ -24,7 +24,7 @@
 HOME=/usr/stud/isatest
 
 # where to find the distribution
-DISTPREFIX=$HOME/isadist
+DISTPREFIX=$HOME/tmp/isadist
 
 # mail program
 MAIL=$HOME/bin/pmail