comparison help/help_mp-uk.h @ 35625:4188b70dc3ff

Don't unconditionally set gtkDXR3Device. Without CONFIG_DXR3 it's not part of gui_opts[] and won't get freed then.
author ib
date Thu, 10 Jan 2013 10:36:43 +0000
parents b2c3288a3483
children fc4d3215bdf7
comparison
equal deleted inserted replaced
35624:ce4b3cbeb1d0 35625:4188b70dc3ff