comparison Gui/interface.c @ 8549:9e958d71f73d

Added patch from Thomas Jarosch
author mswitch
date Tue, 24 Dec 2002 12:45:32 +0000
parents 9ea5f18a7957
children 54eac4cf587c
comparison
equal deleted inserted replaced
8548:b29982e68d8c 8549:9e958d71f73d