mirror of
https://github.com/postgres/postgres.git
synced 2025-06-22 02:52:08 +03:00
The revised documentation makes it more clear that these are client-side parameters, rather than server side parameters. It also puts the main point of each parameter first, and consolidates the conditions under which it might be ignored in a single list at the end.