Add proper git-external-diff script to src/tools.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/9d4625ad0b836538618e324b4ebbc3ba366447a1
Modified Files
--------------
src/tools/git-external-diff | 22 ++++++++++++++++++++++
1 files changed, 22 insertions(+), 0 deletions(-)