diff options
| author | Tom Lane | 2022-06-30 15:03:03 +0000 |
|---|---|---|
| committer | Tom Lane | 2022-06-30 15:03:03 +0000 |
| commit | 82d0ffae3219e4bc153a1306ce23013d168e04a2 (patch) | |
| tree | 09c88e2f26187826ec9e5512593d5412703908aa /src/tools/git-external-diff | |
| parent | f5135d2aba87f59944bdab4f54129fc43a3f03d0 (diff) | |
pgindent run prior to branching v15.
pgperltidy and reformat-dat-files too. Not many changes.
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions