diff CODING @ 807:d14374e1d717

fixed saving options on exit
author nadvornik
date Mon, 09 Jun 2008 07:06:53 +0000
parents f20e7cebcb12
children 83d3abd80b64
line wrap: on
line diff