diff options
| author | Peter Eisentraut | 2013-11-10 14:20:52 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-11-10 19:48:29 +0000 |
| commit | 001e114b8d59f4eaf2a314a2bc5e57078afdf82f (patch) | |
| tree | 606fa622be346ef917886a29aea7e17383e00d31 /src/tools/pgindent | |
| parent | dca09ac53329e92d73f45674957c26d3d7ae5117 (diff) | |
Fix whitespace issues found by git diff --check, add gitattributes
Set per file type attributes in .gitattributes to fine-tune whitespace
checks. With the associated cleanups, the tree is now clean for git
Diffstat (limited to 'src/tools/pgindent')
| -rw-r--r-- | src/tools/pgindent/pgindent.man | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent.man b/src/tools/pgindent/pgindent.man index f3a68acc2a6..4765d428b60 100644 --- a/src/tools/pgindent/pgindent.man +++ b/src/tools/pgindent/pgindent.man @@ -42,4 +42,3 @@ case only these files will be changed, and nothing else will be touched. If the first non-option argument is not a .c or .h file, it is treated as the name of a typedefs file for legacy reasons, but this use is deprecated - use the --typedefs option instead. - |