remove Altenburger Spielkarten, their copyright notice, etc. since the licence expired

They changed their company police and won't give out a free licence agreement anymore, so might as well remove it completely.

1 files changed, 1 insertions, 10 deletions

diff --git a/include/preferences.php b/include/preferences.php
index 0089c43..5aafcd3 100644
--- a/include/preferences.php
+++ b/include/preferences.php
@@ -472,16 +472,7 @@ echo " </td></tr>\n";
 
 echo '    <tr><td>'.('Card set').":              </td><td>\n";
 echo "         <select id=\"cards\" name=\"cards\" size=\"1\">\n";
-if($PREF['cardset']=="altenburg")
-  {
-    echo "           <option value=\"altenburg\" selected=\"selected\">"._('German cards')."</option>\n";
-    echo "           <option value=\"english\">"._('English cards')."</option>\n";
-  }
- else
-   {
-     echo "           <option value=\"altenburg\">"._('German cards')."</option>\n";
-     echo "           <option value=\"english\" selected=\"selected\">"._('English cards')."</option>\n";
-   }
+echo "           <option value=\"english\" selected=\"selected\">"._('English cards')."</option>\n";
 echo "         </select>";
 if($changed_cards) echo _('changed');
 echo " </td></tr>\n";