Doc: update pgindent/README.
authorTom Lane <[email protected]>
Mon, 3 Apr 2023 00:01:34 +0000 (20:01 -0400)
committerTom Lane <[email protected]>
Mon, 3 Apr 2023 00:01:34 +0000 (20:01 -0400)
commit2e6ba13152624a837b67996eadfc58e75126071f
tree6cd315dcde666c3dfbfdf6c4f6f85744620d4980
parent6af1793954e8c5e753af83c3edb37ed3267dd179
Doc: update pgindent/README.

I missed updating this when we pulled pg_bsd_indent into the tree.
src/tools/pgindent/README