diff options
| author | Tom Lane | 2019-07-05 23:28:45 +0000 |
|---|---|---|
| committer | Tom Lane | 2019-07-05 23:28:45 +0000 |
| commit | 79b94716e72086b07549b1c867a8ecdea6bae77e (patch) | |
| tree | 31421a4d38765ddd7423b683a1c8295e3cb1e465 /src/tools/git-external-diff | |
| parent | 0ab1a2e39b6f65b0f6a5879605ddbf12f9f50de4 (diff) | |
Remove unreferenced function declarations.
These seem to be leftovers from old patches, perhaps.
Masahiko Sawada
Discussion: https://postgr.es/m/CAD21AoDuAYsRb3Q9aobkFZ6DZMWxsyg4HOmgkwgeWNfSkTwGxw@mail.gmail.com
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions