src/gui.h
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);