Ralf Wildenhues wrote: > I guess now that $ECHO copes with leading hyphen, we can throw away some > $Xsed uses, and turn all the rest to plain $SED. Is that what you had > in mind, Paolo? I hope you weren't also working on this?
No, but I will look over for typos and also for more problematic uses of $ECHO (which I was planning to do, instead). Paolo
