Andrew Dunstan <andrew.duns...@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