diff osdep/timer.h @ 35801:98693cc5df48

Exit GUI if we can't return to the skin we started with. If there are errors in both the selected skin and the skin we started with, there's nothing we can do but exit.
author ib
date Sat, 26 Jan 2013 00:34:43 +0000
parents 1453fc56d49c
children
line wrap: on
line diff