changeset 8254 | 1496654ca5e7 |
parent 8224 | c5a64d87cc54 |
child 8264 | b1e85998c7d3 |
--- a/src/gui.h Sat Jan 12 13:36:22 2008 +0000 +++ b/src/gui.h Sat Jan 12 14:10:35 2008 +0000 @@ -85,9 +85,6 @@ void ShowTownDirectory(); void ShowIndustryDirectory(); void ShowSubsidiesList(); -void ShowPlayerStations(PlayerID player); -void ShowPlayerFinances(PlayerID player); -void ShowPlayerCompany(PlayerID player); void ShowEstimatedCostOrIncome(Money cost, int x, int y); void ShowErrorMessage(StringID msg_1, StringID msg_2, int x, int y);