Minor cleanup - use usecs instead of msecs.

set_usertimer() takes microseconds, not milliseconds.
1 file changed
tree: 6ac60f972868c1b5e38665df8eb38099d97fd97e
  1. src/
  2. tools/
  3. .gitignore
  4. COPYING
  5. Makefile
  6. README
  7. TODO