diff Gui/interface.c @ 11660:a55d0c2d72b5

message fix
author rik
date Fri, 19 Dec 2003 22:04:13 +0000
parents ec3dac7d17a0
children 3f6cecc44fc7
line wrap: on
line diff