diff options
Diffstat (limited to 'src/tools')
| -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 1053f676c38..ba41149b881 100644 --- a/src/tools/pgindent/typedefs.list +++ b/src/tools/pgindent/typedefs.list @@ -3247,6 +3247,7 @@ collation_cache_entry color colormaprange compare_context +config_handle config_var_value contain_aggs_of_level_context contain_placeholder_references_context |