mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-09-30 20:51:13 +02:00
More formatting.c variable renaming, for clarity
This commit is contained in:
parent
8cce08f168
commit
f68dc5d86b