scripts/dumpdb.sh
changeset 533 773dc9a66748
parent 492 89f8e4266b1f