Fixup the indentation of a comment that was mangled by pgindent, and
authorNeil Conway <neilc@samurai.com>
Thu, 12 Jul 2007 23:25:26 +0000 (23:25 +0000)
committerNeil Conway <neilc@samurai.com>
Thu, 12 Jul 2007 23:25:26 +0000 (23:25 +0000)
commitad44c958258ce7b835c872096c70303cb951a3e5
tree849fd5c56c396cd240b6d93a480779701e31a2fc
parent4f09b55dc3d054e019c931845e3937830cee4e19
Fixup the indentation of a comment that was mangled by pgindent, and
add dashes to the start/end of the comment block to try to prevent
this happening in the future.
src/bin/pg_dump/pg_dump.c