diff src/options.h @ 927:d27b4184ceb8

Minor tidy up and optimization.
author zas_
date Fri, 25 Jul 2008 06:35:35 +0000
parents ad420f2eb789
children a4a38ea9fbaa
line wrap: on
line diff