diff Gui/interface.h @ 13783:4277e06630bf

compilation fix, mostly by Reza Jelveh
author diego
date Thu, 28 Oct 2004 00:50:21 +0000
parents 024b4c37a054
children 21e72b6d8d11
line wrap: on
line diff