diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/pgindent/README (renamed from src/tools/pgindent.dir/README) | 0 | ||||
| -rw-r--r-- | src/tools/pgindent/indent.bsd.patch (renamed from src/tools/pgindent.dir/indent.bsd.patch) | 0 | ||||
| -rwxr-xr-x[-rw-r--r--] | src/tools/pgindent/pgindent (renamed from src/tools/pgindent.dir/pgindent) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/src/tools/pgindent.dir/README b/src/tools/pgindent/README index 6bf07002891..6bf07002891 100644 --- a/src/tools/pgindent.dir/README +++ b/src/tools/pgindent/README diff --git a/src/tools/pgindent.dir/indent.bsd.patch b/src/tools/pgindent/indent.bsd.patch index ba5d4756f44..ba5d4756f44 100644 --- a/src/tools/pgindent.dir/indent.bsd.patch +++ b/src/tools/pgindent/indent.bsd.patch diff --git a/src/tools/pgindent.dir/pgindent b/src/tools/pgindent/pgindent index edf13cbcc5e..edf13cbcc5e 100644..100755 --- a/src/tools/pgindent.dir/pgindent +++ b/src/tools/pgindent/pgindent |