diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-02-28 08:22:51 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-03-08 13:32:10 -0500 |
| commit | 353dd75260e00379240be6a7b8897e90449a95db (patch) | |
| tree | 0af19f454e69683c860a21568ec8014f762bff82 /src/backend/executor/nodeMergejoin.c | |
| parent | d4429d50a21adcc0543701350d5112e3868a3596 (diff) | |
| download | postgresql-353dd75260e00379240be6a7b8897e90449a95db.tar.gz postgresql-353dd75260e00379240be6a7b8897e90449a95db.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/nodeMergejoin.c')
0 files changed, 0 insertions, 0 deletions