diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2020-09-06 16:46:13 +0200 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2020-09-12 20:28:35 +0200 |
commit | e6bbe07deec9824eb62fbbf38c4bfe7aaf674d37 (patch) | |
tree | fc37df89719295d05e455811c04d55a0d0580310 /src/backend/utils/adt/jsonpath_exec.c | |
parent | 93106d71a18afdda2b9bf6e6b8e6c7f9cea2d0ef (diff) | |
download | postgresql-e6bbe07deec9824eb62fbbf38c4bfe7aaf674d37.tar.gz postgresql-e6bbe07deec9824eb62fbbf38c4bfe7aaf674d37.zip |
doc: Don't hide the "Up" link when it is the same as "Home"
The original stylesheets seemed to think this was a good idea, but our
users find it confusing and unhelpful, so undo that logic.
Reported-by: Fabien COELHO <coelho@cri.ensmp.fr>
Discussion: https://www.postgresql.org/message-id/flat/alpine.DEB.2.22.394.2006210914370.859381%40pseudo
Diffstat (limited to 'src/backend/utils/adt/jsonpath_exec.c')
0 files changed, 0 insertions, 0 deletions