mirror of
https://github.com/postgres/postgres.git
synced 2025-11-14 00:05:25 -05:00
With the unicode linestyle, this adds support to control if the column, header, or border style should be single or double line unicode characters. The default remains 'single'. In passing, clean up the border documentation and address some minor formatting/spelling issues. Pavel Stehule, with some additional changes by me.