Add comment to tools/git-external-diff.

diff --git a/src/tools/git-external-diff b/src/tools/git-external-diff
index fdc7080f3a2f0ef9518eda0eb85420632d9fa78c..59fa36624c7c4911f11d09b0b273e87f9074da8f 100644 (file)
--- a/src/tools/git-external-diff
+++ b/src/tools/git-external-diff
@@ -1,6 +1,8 @@
 #!/bin/bash
 
-# Parameters:
+# This script is used to produce git context diffs
+
+# Supplied parameters:
 # $1   $2       $3       $4       $5       $6       $7
 # path old-file old-hash old-mode new-file new-hash new-mode
 # 'path' is the git-tree-relative path of the file being diff'ed