diff options
| author | Marc G. Fournier | 1997-09-13 16:27:13 +0000 |
|---|---|---|
| committer | Marc G. Fournier | 1997-09-13 16:27:13 +0000 |
| commit | ba0b03de2e8ef517010f77709eac6de20371d0f3 (patch) | |
| tree | fcca810e37611f9d3b0cfe85212b269378915d3f /src/tools | |
| parent | 48fd8b3e8f904b7bf4a52b1b41551288f9e7c20e (diff) | |
Let's hope this fixes the "bug" that was introduced
Diffstat (limited to 'src/tools')
| -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 6bf0700289..6bf0700289 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 ba5d4756f4..ba5d4756f4 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 edf13cbcc5..edf13cbcc5 100644..100755 --- a/src/tools/pgindent.dir/pgindent +++ b/src/tools/pgindent/pgindent |