reindexdb: Fix mistake in help output
authorPeter Eisentraut <peter_e@gmx.net>
Sun, 27 Sep 2015 15:22:16 +0000 (11:22 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Sun, 27 Sep 2015 15:22:16 +0000 (11:22 -0400)
commit71fc49dfe1d99bd83cd99c2e7a39f93e07d19310
tree21ed186374febce823d5ac89e02b8e5ec0b2134b
parent72ed3905563cfd847c6ab0b39415423238652ef1
reindexdb: Fix mistake in help output
src/bin/scripts/reindexdb.c