* made output of dumpaction more nice
authorkramm <kramm>
Fri, 2 Nov 2001 14:40:21 +0000 (14:40 +0000)
committerkramm <kramm>
Fri, 2 Nov 2001 14:40:21 +0000 (14:40 +0000)
* fixed Push's with multiple elements


No differences found