diff options
| author | Robert Haas | 2017-03-14 11:52:11 +0000 |
|---|---|---|
| committer | Robert Haas | 2017-03-14 11:52:11 +0000 |
| commit | a82178020de2c4b3576d0a079e11a431e382e4de (patch) | |
| tree | 4576950f944f006aeb86309ea7b7e3e3e37d9917 /src/tools/git-external-diff | |
| parent | bce352fb46196340749cf907f3168b5f63969329 (diff) | |
Update overlooked comment for Gather Merge.
Commit 355d3993c53ed62c5b53d020648e4fbcfbf5f155 probably should have
done this, but nobody noticed that it was needed.
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions