/**
 * =========================================================================
 * File        : whrt.h
 * Project     : 0 A.D.
 * Description : Windows High Resolution Timer
 * =========================================================================
 */

// license: GPL; see lib/license.txt

#ifndef INCLUDED_WHRT
#define INCLUDED_WHRT

extern double whrt_Resolution();
extern double whrt_Time();

#endif  // #ifndef INCLUDED_WHRT