diff options
| author | Michael Paquier | 2021-06-24 23:40:16 +0000 |
|---|---|---|
| committer | Michael Paquier | 2021-06-24 23:40:16 +0000 |
| commit | 797b0fc0b078c7b4c46ef9f2d9e47aa2d98c6c63 (patch) | |
| tree | c7210601dac30751e09a3544e74d7ca691829afb /src/backend/access/gist/gistutil.c | |
| parent | 9b4e4cfe66ff133717c1b8ba3c2725d525c3e67c (diff) | |
doc: Move remove_temp_files_after_crash to section for developer options
The main goal of this option is to allow inspecting temporary files for
debugging purposes, so moving the parameter there is natural.
Oversight in cd91de0.
Reported-by: Justin Pryzby
Author: Euler Taveira
Discussion: https://postgr.es/m/[email protected]
Diffstat (limited to 'src/backend/access/gist/gistutil.c')
0 files changed, 0 insertions, 0 deletions