X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?a=blobdiff_plain;f=jpctb;h=50f295298b14b58b3cd688eafb23c4bef19aaaac;hb=1143a4b34a109f57bf3a35665050b06c14cdd43e;hp=600bf1451240dc646b90e9e70d48bece5253c52e;hpb=5647e8560539af98593f829398762bb6f56aac0d;p=jarrg-ian.git diff --git a/jpctb b/jpctb index 600bf14..50f2952 100755 --- a/jpctb +++ b/jpctb @@ -158,9 +158,9 @@ realjava="$JPCTB_JRE/bin/java" cat <