mrchimp/Tock — pull request #1 by scudco (2013-06-04 02:50:20+00:00)
Title: Always display leading zeros for milliseconds; use decimal notation

This enables a time of "04:34.014" to display correctly. It currently displays "04:34:14"

I've also output the string to use "." to separate the seconds and milliseconds since the milliseconds are a fraction of the seconds.

The minified version will need to be updated.