diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2020-03-13 15:45:37 +0100 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2020-03-13 15:45:37 +0100 |
| commit | 340de72780e4eb769d5cf052b03084808bac476a (patch) | |
| tree | a47724ff3d35441ae441bca9215c2984c926cb57 /src/backend/utils/adt/jsonpath.c | |
| parent | d90bd24391fdde2b73906e16052821c9e3c1ce82 (diff) | |
| download | postgresql-340de72780e4eb769d5cf052b03084808bac476a.tar.gz postgresql-340de72780e4eb769d5cf052b03084808bac476a.zip | |
doc: Remove unused title ids
FOP issues warnings about them. These aren't even used, so just
remove them. For the ones that are actually used, we'll come up with
a different solution.
Discussion: https://www.postgresql.org/message-id/flat/e29b580e-79ab-a371-5ea4-6946e4d3af0b%402ndQuadrant.com
Diffstat (limited to 'src/backend/utils/adt/jsonpath.c')
0 files changed, 0 insertions, 0 deletions