diff options
| author | Peter Eisentraut | 2012-04-30 18:12:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2012-04-30 18:18:03 +0000 |
| commit | 61c84b47619c11e74089cb3160813a4b3c98e6d7 (patch) | |
| tree | ce9e1adfd1ab7c5a0284285aceb428e60b74ac42 /src/backend/access/gist/gistget.c | |
| parent | 809e7e21af8cd24855f1802524a13bbaa823f929 (diff) | |
Fix display of <command> elements on man pages
We had changed this from the default bold to monospace for all output
formats, but for man pages, this creates visual inconsistencies, so
revert to the default for man pages.
Diffstat (limited to 'src/backend/access/gist/gistget.c')
0 files changed, 0 insertions, 0 deletions