Finally!!
[supertux.git] / src / player.h
index 62237d2..97e6df1 100644 (file)
@@ -94,9 +94,6 @@ class Player
 {
  public:
   player_keymap_type keymap;
-  int lives;
-  int score;
-  int distros;
 
   player_input_type  input;
   bool got_coffee;