diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-02-28 08:22:51 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-02-28 08:22:51 -0500 |
| commit | d21ddc220fc735da84c9fa7bae1968f6953a6c8c (patch) | |
| tree | 5701a8bda3eeff79667f4b23585331b8c619b878 /src/backend/executor/nodeAppend.c | |
| parent | 51057feaa6bd24b51e6a4715c2090491ef037534 (diff) | |
| download | postgresql-d21ddc220fc735da84c9fa7bae1968f6953a6c8c.tar.gz postgresql-d21ddc220fc735da84c9fa7bae1968f6953a6c8c.zip | |
Fix warnings in man page build
The changes in the CREATE POLICY man page from commit
87c2a17fee784c7e1004ba3d3c5d8147da676783 triggered a stylesheet bug that
created some warning messages and incorrect output. This installs a
workaround.
Also improve the whitespace a bit so it looks better.
Diffstat (limited to 'src/backend/executor/nodeAppend.c')
0 files changed, 0 insertions, 0 deletions