reindexdb: Fix mistake in help output
authorPeter Eisentraut <[email protected]>
Sun, 27 Sep 2015 15:22:16 +0000 (11:22 -0400)
committerPeter Eisentraut <[email protected]>
Sun, 27 Sep 2015 15:38:34 +0000 (11:38 -0400)
commit90d037772ec161436590699c5c6b057d1a0170d6
tree815f9e9fe7cb5a700703ae9662724ca53d0e5ae5
parent63ab1a398166daafcea2aaebbf0c48cb78b5be32
reindexdb: Fix mistake in help output
src/bin/scripts/reindexdb.c