comparison 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
comparison
equal deleted inserted replaced
5704:bcc920353f51 5705:53dde2c75c17