K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1995-01-08T18:01:11.000000Z
K 7
svn:log
V 215
Use the "-F" option to /bin/pr now that we have it (thanks to Posix).
This helps for printers that tend to get out of sync.  (For the
cautious folks: we used to have it in 1.1.5, too.  But GNU pr used
"-f" for it.)

END