miscellaneous edits
authorrms <rms>
Tue, 3 Dec 1991 04:09:38 +0000 (04:09 +0000)
committerrms <rms>
Tue, 3 Dec 1991 04:09:38 +0000 (04:09 +0000)
commit00f16371bc5f9efb2ac71f0e4d917802fcdc356a
tree0a70b87f970d504bf75e4f558476dcdf21ca4446
parentc30a7d425b91fcd185e7d53f3e7b1955bea70853
miscellaneous edits
manual/pipe.texi