diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2018-10-29 11:39:44 +0100 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2018-10-29 11:39:44 +0100 |
commit | a9e5f8e7810b46113c5322155411198484695dba (patch) | |
tree | ae4cd460138280df6b161c47d701b39fa38f79c0 /src/backend/utils/adt/partitionfuncs.c | |
parent | 2fe42baf7c1ad96b5f9eb898161e258315298351 (diff) | |
download | postgresql-a9e5f8e7810b46113c5322155411198484695dba.tar.gz postgresql-a9e5f8e7810b46113c5322155411198484695dba.zip |
Exclude temporary directories from pgindent
Exclude tmp_check and tmp_install from pgindent. In a fully-built
tree, pgindent would spend a lot of time digging through these
directories and ends up re-indenting installed header files.
Diffstat (limited to 'src/backend/utils/adt/partitionfuncs.c')
0 files changed, 0 insertions, 0 deletions