diff command.h @ 33781:cdd4fc0616b6

Fix memory leak in the Win32 GUI. Use global config variable skinName which has been set prior to the call of create_gui(), don't pass it.
author ib
date Mon, 11 Jul 2011 10:36:09 +0000
parents c1a3f1bbba26
children
line wrap: on
line diff