# HG changeset patch # User wenzelm # Date 857747316 -3600 # Node ID 4b7b3876561945acb6450ac7158a0549a3f74e7c # Parent 36fdd908a26ca8a5c10b667a4287ccdcfb78f42e added \n at EOF; diff -r 36fdd908a26c -r 4b7b38765619 src/Tools/teeinput --- 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 | $*