diff osdep/timer.h @ 24651:7e70e2c4cf3a

Give temporary executable file the system-specific executable extension.
author diego
date Sat, 29 Sep 2007 22:28:24 +0000
parents 88bed2131f19
children 9e739bdb049c
line wrap: on
line diff