
9 Mar
2007
9 Mar
'07
12:01 a.m.
On Mar 8, 2007, at 2:04 PM, Wolfgang Denk wrote:
... command "clocks" or so, which prints the full information if anybody really wants to see it?
or an environment "info" variable? Could be used to print out more verbose information on various topics if set?
-- Dan