| version 1.100 | version 1.101 | |||
|---|---|---|---|---|
|
| |||
| /* | /* | |||
| * static char *rcsid_player_c = | * static char *rcsid_player_c = | |||
| * "$Id: player.c,v 1.100 2002/11/12 23:20:11 garbled Exp $"; | * "$Id: player.c,v 1.101 2002/11/13 00:26:13 garbled Exp $"; | |||
| */ | */ | |||
| /* | /* | |||
|
| |||
| dead_player(op); | dead_player(op); | |||
| } | } | |||
| } | } | |||
| } | ||||
| play_again(op); | play_again(op); | |||
| if (settings.not_permadeth == TRUE) { /* this is unreachable */ | if (settings.not_permadeth == TRUE) { /* this is unreachable */ |
Legend:
| ||||||