diff UI/UIOptions.cpp @ 1556:e668660457dc

Some more cleaning
author Nomad
date Sat, 07 Sep 2013 22:38:53 +0200
parents c4ab816fcc5e
children 483cc7f0d86c
line wrap: on
line diff