sed, a stream editor

version 4.0.1, 2 October 2002

by Ken Pizzini, Paolo Bonzini



This document was generated on 3 August 2004 using texi2html 1.56k.