It's been about 8 months since diff became diffutils.

Time to get rid of diff? Or at least mark it [prev]?



Max.

Reply via email to