--- a/src/Tools/teeinput Thu Oct 07 12:38:12 1999 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-#! /bin/sh
-# teeinput -- start a program and log all inputs to a file
-# environment variable $LISTEN specifies the file name
-tee -a -i $LISTEN | $*
--- a/src/Tools/xlisten Thu Oct 07 12:38:12 1999 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#! /bin/sh
-# xlisten -- start a program in one window and create a listener window
-# environment variable $LISTEN specifies the file name
-
-#create the file!
-set -e #fail immediately upon errors
-date > ${LISTEN?'Set this variable to the desired filename'}
-
-xterm -geo 80x10+0+0 -T Listener -n Listener -e tail -f $LISTEN &
-sleep 2
-xterm -geo 80x60+0-0 -e teeinput $* &