comparison Gui/interface.c @ 8209:51ed4c00f15b

cosmetics only (for better html output)
author arpi
date Sat, 16 Nov 2002 05:29:23 +0000
parents 851e974e6eaa
children 72700fefd3dc
comparison
equal deleted inserted replaced
8208:ae5a2ae1c349 8209:51ed4c00f15b