vefatica May 13,584 201 2017-08-11 #1 Useful (when timing things at the command line) would be an optional parameter that would cause a timer to be turned off upon Ctrl-C.
Useful (when timing things at the command line) would be an optional parameter that would cause a timer to be turned off upon Ctrl-C.
