diff options
| author | Bruce Momjian <bruce@momjian.us> | 2011-03-11 05:06:31 -0500 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2011-03-11 05:06:31 -0500 |
| commit | dae1e5546cdff98d85215a461f108f71fd254441 (patch) | |
| tree | 9e54a29c60779645b3a47145034d8e78bea99d8c /src | |
| parent | f887294ccfad1545f8c94e7d486ffdd90a61132e (diff) | |
| download | postgresql-dae1e5546cdff98d85215a461f108f71fd254441.tar.gz postgresql-dae1e5546cdff98d85215a461f108f71fd254441.zip | |
Add comment to tools/git-external-diff.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/git-external-diff | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/git-external-diff b/src/tools/git-external-diff index fdc7080f3a2..59fa36624c7 100644 --- 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 |