added missing minimal_dim() from 1.1 branch
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 21 Jan 2003 23:06:28 +0000 (23:06 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 21 Jan 2003 23:06:28 +0000 (23:06 +0000)

No differences found