diff cpudetect.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 3e1a4184b70e
children
line wrap: on
line diff