Max Bowsher Sat, 08 Feb 2003 17:40:13 -0800
It's been about 8 months since diff became diffutils. Time to get rid of diff? Or at least mark it [prev]?
Max.