diff etc/menu.conf @ 36833:5691f930dca6

Fix bug with Win32 GUI preferences. Fix memory leak by freeing proc_priority.
author ib
date Mon, 24 Feb 2014 14:25:53 +0000
parents 32725ca88fed
children
line wrap: on
line diff