K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2007-05-17T00:18:01.000000Z
K 7
svn:log
V 159
o) Correct for missing whitespace.
o) We don't need to check if ifp == stdin to give the filename, since we already
   know that ifn will be "stdin" if it is.

END