diff gui/interface.h @ 31893:c94e2961601c

synced to r31938
author ptt
date Wed, 18 Aug 2010 17:23:21 +0000
parents 4d6bb9606833
children 9e627a1793b1
line wrap: on
line diff