comparison debian/config @ 13500:77b3bc17d764

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