diff gui/app/app.h @ 35960:13d09ba17e97

Be more precise about type.
author ib
date Sun, 24 Mar 2013 15:12:16 +0000
parents 6fd886ce32b9
children 28ea255e40ce
line wrap: on
line diff