diff options
| author | Michael Paquier | 2023-12-31 09:06:56 +0000 |
|---|---|---|
| committer | Michael Paquier | 2023-12-31 09:06:56 +0000 |
| commit | a99009a9a32c2b0edd7b6632c37bc2fb6c4f594e (patch) | |
| tree | de4921647334c404e6c481701bfc8c51a61712ce /src/backend/regex/regcomp.c | |
| parent | cb44a8345e7c248cf4158f2702fd9c9358399cfb (diff) | |
Exclude files generated by generate-wait_event_types.pl from pgindent
The format of these files becomes arguably worse after being indented,
and, as they are generated, there is no point in applying an indentation
anyway.
Author: Bharath Rupireddy
Discussion: https://postgr.es/m/CALj2ACW2JUocmieuR3n9AXL4iSsHcL1LmNkiukuFRUvKNMoiKg@mail.gmail.com
Diffstat (limited to 'src/backend/regex/regcomp.c')
0 files changed, 0 insertions, 0 deletions