several fixes to Huub's patch
authorkramm <kramm>
Fri, 27 Jul 2007 20:13:13 +0000 (20:13 +0000)
committerkramm <kramm>
Fri, 27 Jul 2007 20:13:13 +0000 (20:13 +0000)

No differences found