merge Dihedral fix
authorrschulz <rschulz>
Sat, 24 Jan 2009 13:45:04 +0000 (13:45 +0000)
committerrschulz <rschulz>
Sat, 24 Jan 2009 13:45:04 +0000 (13:45 +0000)
commit3c876bc7ebe059bb73df16ed3df8017894ac0d3e
tree628f3043dfd41a33c95076c18d5f7d4f5c4fbd4c
parentc645576524003bfdf44ada6cb9372fac6d29aee0
merge Dihedral fix
src/kernel/toppush.c