diff UI/UIOptions.cpp @ 2467:43faa2865d57

mistake in previous commit
author zipi
date Sun, 17 Aug 2014 20:58:38 +0100
parents 16f0278279a5
children 5abd8fc8f1c6
line wrap: on
line diff