diff options
| author | Peter Eisentraut | 2016-04-16 16:54:56 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2016-04-16 16:54:56 +0000 |
| commit | 5fdda1ceab35311367ed0dbb283cd8aea896e49b (patch) | |
| tree | b17b651a12fb695de24309598f35658bb5d011ec /src/backend/access/gist/gistget.c | |
| parent | efb25e56d8a43917bcadfe3904691b1e1cdbbe20 (diff) | |
doc: Change some "user" to "role" for consistency in the section
suggested by Johannes Choo
Diffstat (limited to 'src/backend/access/gist/gistget.c')
0 files changed, 0 insertions, 0 deletions