diff options
| author | Bruce Momjian <bruce@momjian.us> | 2013-04-12 11:42:27 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2013-04-12 11:42:27 -0400 |
| 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