fixed bug with triggering "entered by player" event when pushing element
authorHolger Schemel <info@artsoft.org>
Sat, 20 May 2023 23:22:10 +0000 (01:22 +0200)
committerHolger Schemel <info@artsoft.org>
Sat, 20 May 2023 23:22:10 +0000 (01:22 +0200)
commit968784645110934cf7829da7b2951423a63c93c3
tree7e5d1332ddcbc311d8676c34688c6e68ad37dc59
parent1112bbb77ddfd963daae6d48337ed98d578c5835
fixed bug with triggering "entered by player" event when pushing element
src/game.c