tree 145d6679e650879e8d76fb0626a30fa31e748a8d
parent 7afc8b0c3f374e5b8f60a15dcc9bf9945f81cb78
author dan <dan@noemail.net> 1383136205 +0000
committer dan <dan@noemail.net> 1383136205 +0000

Have the shell ".timer on" command cause the shell to report wall-clock time for each query (as well as user and system CPU time).

FossilOrigin-Name: 5530cdc4857f7410ce6ddf53ae94c75426e19eee