On Wed, May 23, 2018 at 05:01:58PM -0400, Tom Lane wrote:
> 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.
I have local copies, so they can be removed. I added them years ago in
case they helped anyone else.
--
Bruce Momjian <bruce@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 +