new reference -- enum names different
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 20 Aug 2003 09:06:44 +0000 (09:06 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 20 Aug 2003 09:06:44 +0000 (09:06 +0000)
[r1725]


No differences found