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 | b6c604d5fb0b4bcdb8c5ce03b9b9080b8cbc2cd1 (patch) | |
| tree | 9d6171f277671efed085a45b3b73165a70f1e641 | |
| parent | 7742c9f7a7d886063ca4064593df4e3c7ad5a3ce (diff) | |
Let's hope this fixes the "bug" that was introduced
| -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 |