From 40d0b2d4153d903d41adee6a303428540389191b Mon Sep 17 00:00:00 2001 From: Andrew Dunstan Date: Thu, 9 Feb 2023 13:31:52 -0500 Subject: [PATCH] Fix help text spacing in pgindent Author: Noriyoshi Shinoda --- src/tools/pgindent/pgindent | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 34fb7d604de..07970f758c2 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -394,7 +394,7 @@ Usage: pgindent [OPTION]... [FILE]... Options: --help show this message and quit - --commit=gitref use files modified by the named commit + --commit=gitref use files modified by the named commit --typedefs=FILE file containing a list of typedefs --list-of-typedefs=STR string containing typedefs, space separated --code-base=DIR path to the base of PostgreSQL source code -- 2.39.5