--- a/src/Tools/teeinput	Fri Mar 07 15:51:44 1997 +0100
+++ b/src/Tools/teeinput	Fri Mar 07 16:08:36 1997 +0100
@@ -1,4 +1,4 @@
 #! /bin/sh
 #  teeinput -- start a program and log all inputs to a file
 #     environment variable $LISTEN specifies the file name
-tee -a -i $LISTEN | $*
\ No newline at end of file
+tee -a -i $LISTEN | $*