Pushed raissa modification

da92d2d8 · Vany Ingenzi · bab524ca · bab524ca · bab524ca · bab524ca
--- a/GUI.ozf
+++ b/GUI.ozf
--- a/HumanPlayerGUI.ozf
+++ b/HumanPlayerGUI.ozf
--- a/Input.ozf
+++ b/Input.ozf
--- a/Main.ozf
+++ b/Main.ozf
--- a/Player020HiderAndSeeker.ozf
+++ b/Player020HiderAndSeeker.ozf
--- a/Player020Human.ozf
+++ b/Player020Human.ozf
--- a/Player020Random.ozf
+++ b/Player020Random.ozf
--- a/PlayerManager.oz
+++ b/PlayerManager.oz
@@ -8,7 +8,6 @@ import
   Player020Random
   Player020Human
   Player038Cartographer
-   Player069Rocketman 
 export
   playerGenerator:PlayerGenerator
 define
@@ -30,8 +29,6 @@ in
         {Player020HiderAndSeeker.portPlayer Color ID}
      [] player038cartographer then 
         {Player038Cartographer.portPlayer Color ID}
-      [] player069rocketman then
-         {Player069Rocketman.portPlayer Color ID}
      [] player020human then
         {Player020Human.portPlayer Color ID}
      end

--- a/PlayerManager.ozf
+++ b/PlayerManager.ozf