title: Print time in a batch file (milliseconds)
body: <p>How do I print the time (in ms) in a Windows batch file?</p>
  
  <p>I want to measure the time that passes between lines in my batch file, but Windows's "time /T" does not print milliseconds.</p>