diff Gui/interface.c @ 20425:f59726d0761e

Sync with upstream r201.
author diego
date Wed, 25 Oct 2006 11:55:06 +0000
parents 945fa0eb37c0
children 18ba5bc68f40
line wrap: on
line diff