diff Gui/interface.c @ 18442:71ab5399dd16

synced with 1.1284
author gabrov
date Thu, 11 May 2006 15:32:24 +0000
parents d30afd14867f
children 6b92a27e247c
line wrap: on
line diff