comparison configure @ 13500:77b3bc17d764

make sure exit_player gets called
author joey
date Tue, 28 Sep 2004 13:43:47 +0000
parents 20619c6203a0
children fc357e2c7328
comparison
equal deleted inserted replaced
13499:9b1ea3639c17 13500:77b3bc17d764