diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2017-08-29 19:33:24 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2017-08-29 19:34:49 -0400 |
| commit | 2fa44f666f144be5436d8725cc259fd1ce29f5ff (patch) | |
| tree | de1bb88a0fcd62a6734cdf5f84121ffe2ff05af5 /src | |
| parent | ff59f30dc30ecb4fb777a28774110c6637b10dc1 (diff) | |
| download | postgresql-2fa44f666f144be5436d8725cc259fd1ce29f5ff.tar.gz postgresql-2fa44f666f144be5436d8725cc259fd1ce29f5ff.zip | |
doc: Avoid sidebar element
The formatting of the sidebar element didn't carry over to the new tool
chain. Instead of inventing a whole new way of dealing with it, just
convert the one use to a "note".
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions