mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
This makes it behave more like the html output. That will make some subsequent changes across all output formats easier.
This makes it behave more like the html output. That will make some subsequent changes across all output formats easier.