Bugfix: array conversion
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Tue, 3 Dec 2002 09:47:04 +0000 (09:47 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Tue, 3 Dec 2002 09:47:04 +0000 (09:47 +0000)
commit8edceec4a5f09b2193aed59ade4e4f1bd27518f5
tree44e1786f717001ff5286a2ec8deeeb14c4201647
parentfceab8dfcccb63de9476b378409e20f03333648a
Bugfix: array conversion

[r526]
tools/crecoder.jar