diff README @ 6656:92b29c3ed0c0

bugfix by Michael.Lampe@iwr.uni-heidelberg.de
author arpi
date Sat, 06 Jul 2002 15:17:27 +0000
parents e792875ac769
children cdfa9de87202
line wrap: on
line diff