[support] Devel module - how to turn off page execution time?

[Jody Cleveland]

Hello,

I've got a Drupal 5.1 site running with the latest version of the Devel
module. Just for grins, I decided to check the box to show page execution
time. Now, every page I go to only displays the execution time, nothing
else. Since I can't get to the module settings through the site, how do I
manually turn that feature off?

- jody