changeset 2817 | 58dcead3f545 |
parent 2697 | c7b1a950c4cf |
child 2848 | cb4b1cc0bf65 |
--- a/player.h Thu Jan 05 12:00:38 2006 +0000 +++ b/player.h Thu Jan 05 12:40:50 2006 +0000 @@ -266,7 +266,5 @@ void InitialiseEngineReplacement(Player *p); EngineID EngineReplacement(const Player *p, EngineID engine); bool EngineHasReplacement(const Player *p, EngineID engine); -int32 AddEngineReplacement(Player *p, EngineID old_engine, EngineID new_engine, uint32 flags); -int32 RemoveEngineReplacement(Player *p, EngineID engine, uint32 flags); #endif /* PLAYER_H */