OK, so time.exe does exist. I forgot that some cygwin tools require the .exe extension and some don't; and I tend to forget it's not a unix system, and those files actually do have an .exe extension...
last updated 2013-01-10 20:13:22. served from tektonic.jcomeau.com