John Baldwin f455512fdd Update the timestamp regexps in syncstamp() and monostamp() for > 99999 ... traces where there isn't any leading whitespace before the record number in the ktrdump output.		2008-01-25 19:24:12 +00:00
..
schedgraph.py	Update the timestamp regexps in syncstamp() and monostamp() for > 99999	2008-01-25 19:24:12 +00:00