* fixed pushInt()
authorkramm <kramm>
Sun, 18 Nov 2001 13:23:38 +0000 (13:23 +0000)
committerkramm <kramm>
Sun, 18 Nov 2001 13:23:38 +0000 (13:23 +0000)
* added comment about property-indices


No differences found