![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| create_deck | 2000-09-27 21:22 | 154 | |
| create_room | 2000-09-27 21:22 | 174 | |
| disembark | 2000-09-27 21:22 | 407 | |
| init | 2000-09-27 21:22 | 160 | |
| other_dead_than_this | 2000-09-27 21:22 | 246 | |
| set_bump_sound | 2000-09-27 21:22 | 241 | |
| set_deck_sound | 2000-09-27 21:22 | 274 | |
| set_no_disembark | 2000-09-27 21:22 | 244 | |
| ship_arrived | 2000-09-27 21:22 | 265 | |
| surroundings | 2000-09-27 21:22 | 238 | |