diff src/ui_misc.h @ 807:d14374e1d717

fixed saving options on exit
author nadvornik
date Mon, 09 Jun 2008 07:06:53 +0000
parents 48c8e49b571c
children 1646720364cf
line wrap: on
line diff