# HG changeset patch
# User wenzelm
# Date 939293434 -7200
# Node ID 4caa07322d8f3fd9515dd29a188b0b2e35cd0527
# Parent  ddbaf6785d0db6a7ad70d0dab3efb5f7cb24ad8d
obsolete;

diff -r ddbaf6785d0d -r 4caa07322d8f src/Tools/teeinput
--- 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 | $*
diff -r ddbaf6785d0d -r 4caa07322d8f src/Tools/xlisten
--- 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 $* &