diff options
author | Robert Haas | 2018-02-22 23:05:30 +0000 |
---|---|---|
committer | Robert Haas | 2018-02-22 23:06:30 +0000 |
commit | a6a80134e3bffa0678a82ed7477d9d46dea07d3a (patch) | |
tree | 57e2fb318c5d5f45bd655c6d97b396615706cac6 /src/tools/git-external-diff | |
parent | abcba7001e481a565b8fba2393666dc54e90db61 (diff) |
Remove extra words.
Thomas Munro
Discussion: http://postgr.es/m/CAEepm=2x3NUSPed6=-wDYs39KtUU5Dw3mK_NAMWps+18FmkApQ@mail.gmail.com
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions