diff configure @ 5705:53dde2c75c17

more stuff required when GUI bugreporting (nobody reads it anyway)
author gabucino
date Fri, 19 Apr 2002 19:22:23 +0000
parents a8e785ce5cbf
children c96c7633dfa8
line wrap: on
line diff