diff options
| author | Tom Lane | 2023-05-23 22:51:43 +0000 |
|---|---|---|
| committer | Tom Lane | 2023-05-23 22:51:43 +0000 |
| commit | be3f62ae6e9839b10db0052a973e5fdc5b789abc (patch) | |
| tree | d290254ab030bab03f54d5c30c7550cafcba0692 /src/tools/git-external-diff | |
| parent | 5df5bea29070b420452bdb257c3dec1cf0419fca (diff) | |
Doc: update src/tools/pginclude/README.
Commit f62975b2a made headerscheck and cpluspluscheck a little
smarter than this documentation gave them credit for. Make
their docs match current reality. Also add a warning about the
layer of dust that has settled on the rest of these scripts.
Discussion: https://postgr.es/m/[email protected]
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions