diff options
| author | Tom Lane | 2019-07-01 16:37:52 +0000 |
|---|---|---|
| committer | Tom Lane | 2019-07-01 16:37:52 +0000 |
| commit | 9e1c9f959422192bbe1b842a2a1ffaf76b080196 (patch) | |
| tree | cf36bf712b6baf5c0fa86e3854bbcfaf3829b00f /src/tools/make_diff/difforig | |
| parent | 145b18688c04963efcab8ef3e7e10659bf783eb1 (diff) | |
pgindent run prior to branching v12.
pgperltidy and reformat-dat-files too, though the latter didn't
find anything to change.
Diffstat (limited to 'src/tools/make_diff/difforig')
0 files changed, 0 insertions, 0 deletions