comparison configure @ 6656:92b29c3ed0c0

bugfix by Michael.Lampe@iwr.uni-heidelberg.de
author arpi
date Sat, 06 Jul 2002 15:17:27 +0000
parents d2c224cf5468
children 64cf429bd7eb
comparison
equal deleted inserted replaced
6655:9eefcaf88e56 6656:92b29c3ed0c0