Add comment to tools/git-external-diff.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/dae1e5546cdff98d85215a461f108f71fd254441
Modified Files
--------------
src/tools/git-external-diff | 4 +++-
1 files changed, 3 insertions(+), 1 deletions(-)