diff gui/interface.h @ 25945:491e43b45aa9

Avoid a useless extra pointer variable.
author reimar
date Sun, 10 Feb 2008 19:55:15 +0000
parents 9d0b189ce1b2
children 4129c8cfa742
line wrap: on
line diff