diff Makefile @ 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 da22212d9d7b
children 192d51f4645a
line wrap: on
line diff