mirror of
https://github.com/postgres/postgres.git
synced 2025-12-22 17:42:17 +03:00
Small adjustments in markup getting ready for hardcopy release.
Jan did a nice job of initial markup so it was pretty easy!
This commit is contained in: