scripts/dumpdb.sh
changeset 540 b07d52d49db7
parent 492 89f8e4266b1f