On Wed, May 23, 2018 at 05:01:58PM -0400, Tom Lane wrote: > 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.
I have local copies, so they can be removed. I added them years ago in case they helped anyone else. -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + As you are, so once was I. As I am, so you will be. + + Ancient Roman grave inscription +