David E. O'Brien 6f609835ff Patch to output time in 12hr format (ie, 11:00pm is "11:00" rather than ... "23:00") if ``-12hr'' is specified.		1997-10-07 06:11:12 +00:00
..
patch-01	Patch to output time in 12hr format (ie, 11:00pm is "11:00" rather than	1997-10-07 06:11:12 +00:00