ports - Revision 2373: /libsdl/trunk/src/timer/mint