pushString: remove unused variables
commit57e3cc9abc8e1c84ff8db642efa69429b66f4e0c
authorBert Wesarg <bert.wesarg@googlemail.com>
Sat, 18 Oct 2008 16:43:38 +0000 (18 18:43 +0200)
committerBert Wesarg <bert.wesarg@googlemail.com>
Sat, 18 Oct 2008 16:43:38 +0000 (18 18:43 +0200)
treeef8115103ae6a84a2c58511846dded098e29a0a1
parent077010481ad49742bb40c88676eab6510899b4c7
pushString: remove unused variables

B.W.

---

Push: !pushString.patch
pushString.patch
symbol-lookup.patch