scripts/dumpdb.sh
changeset 536 03164bb5b52d
parent 492 89f8e4266b1f