diff Changelog @ 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 9abac64d7a11
children 6ac59489c815
line wrap: on
line diff