chiark / gitweb /
Generalise dumpqueryresults and rename to dumptable