Andrew Dunstan <andrew.dunstan@2ndquadrant.com> writes:
> OK, that's done. Now I think we can get rid of git-external-diff.
I for one rely on that. I won't tell anyone else what kind of diff
they have to read, but if you try to tell me what kind of diff I have
to read, I'm going to complain.
> While we're about it, does anyone use make_diff any more? It seems
> rather ancient and crufty.
Not me, but judging from the README, possibly Bruce still uses it.
In any case, is it hurting anything?
regards, tom lane