summaryrefslogtreecommitdiff
path: root/src/tools/pgindent
diff options
context:
space:
mode:
authorRobert Haas2015-10-08 16:24:51 +0000
committerRobert Haas2015-10-08 16:27:54 +0000
commitfd5eaad71529d508a1b1e411b3dc16e0b2d33da5 (patch)
tree0506f433ce8632cdf8e636a41dd6ab9c4d256b23 /src/tools/pgindent
parentb6363772fd5f07dcfff2b4869765705ac9633950 (diff)
Correct pg_indent to pgindent in various comments.
David Christensen
Diffstat (limited to 'src/tools/pgindent')
-rw-r--r--src/tools/pgindent/exclude_file_patterns2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/exclude_file_patterns b/src/tools/pgindent/exclude_file_patterns
index fb99842f97f..1a5866759e6 100644
--- a/src/tools/pgindent/exclude_file_patterns
+++ b/src/tools/pgindent/exclude_file_patterns
@@ -1,4 +1,4 @@
-#list of file patterns to exclude from pg_indent runs
+#list of file patterns to exclude from pgindent runs
/s_lock\.h$
/atomics/
/ecpg/test/expected/