comparison ChangeLog @ 13500:77b3bc17d764

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