diff options
| author | Bruce Momjian | 2013-04-12 15:42:27 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2013-04-12 15:42:27 +0000 |
| commit | 8daa4e960e15eb31e141585968c91cc666889585 (patch) | |
| tree | a2dd69c9dedbfbc9b277b9b6355ec52493e72d4b /doc/src | |
| parent | f8a54e936bdf4c31b395a2ab7d7bc98eefa6dbad (diff) | |
pgindent: fix downloading of BSD indent binary
Also fix accessing pgentab binary and tar.
Gurjeet Singh
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions