mrg c0f9ed084d - decode_int(): always use base 10, so that a time of "1:09" works.
- decode_time(): 60 seconds in a minute, really.
both from tsarna@netbsd.org.

- be verbose about the time we are going to record for, if verbose.
2002-12-27 23:43:15 +00:00
..
2002-12-08 10:49:22 +00:00