pgindent: fix downloading of BSD indent binary
authorBruce Momjian <bruce@momjian.us>
Fri, 12 Apr 2013 15:42:27 +0000 (11:42 -0400)
committerBruce Momjian <bruce@momjian.us>
Fri, 12 Apr 2013 15:42:27 +0000 (11:42 -0400)
commit8daa4e960e15eb31e141585968c91cc666889585
treea2dd69c9dedbfbc9b277b9b6355ec52493e72d4b
parentf8a54e936bdf4c31b395a2ab7d7bc98eefa6dbad
pgindent:  fix downloading of BSD indent binary

Also fix accessing pgentab binary and tar.

Gurjeet Singh
src/tools/pgindent/pgindent