dummy index renamer ignores index dimensions
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 4 Feb 2003 19:12:03 +0000 (19:12 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 4 Feb 2003 19:12:03 +0000 (19:12 +0000)

No differences found