projects / users / c2main / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb44a83) | patch
Exclude files generated by generate-wait_event_types.pl from pgindent
authorMichael Paquier <michael@paquier.xyz>
Sun, 31 Dec 2023 09:06:56 +0000 (18:06 +0900)
committerMichael Paquier <michael@paquier.xyz>
Sun, 31 Dec 2023 09:06:56 +0000 (18:06 +0900)
commita99009a9a32c2b0edd7b6632c37bc2fb6c4f594e
treede4921647334c404e6c481701bfc8c51a61712cetree
parentcb44a8345e7c248cf4158f2702fd9c9358399cfbcommit | 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
src/tools/pgindent/exclude_file_patterns diff | blob | blame | history
Cedric's Stuff