# 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 | $*