/* porttime.c -- portable API for millisecond timer */

/* There is no machine-independent implementation code to put here */

#if (defined (_MSCVER) || defined (_MSC_VER))
/* Suppress warnings:
      C4206: nonstandard extension used: translation unit is empty */
#pragma warning(disable : 4206)
#endif
