diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/pgindent/typedefs.list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/pgindent/typedefs.list b/src/tools/pgindent/typedefs.list index ff8d9ff0777..78e22a14f62 100644 --- a/src/tools/pgindent/typedefs.list +++ b/src/tools/pgindent/typedefs.list @@ -4278,3 +4278,4 @@ z_streamp zic_t ExplainExtensionOption ExplainOptionHandler +overexplain_options |