- Fixed wrong behaviour of new warning scheme. release_0-5-2
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Wed, 16 Feb 2000 20:31:00 +0000 (20:31 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Wed, 16 Feb 2000 20:31:00 +0000 (20:31 +0000)

No differences found