Jeck - Repair faulty merge from r1845.

2010-02-09 19:37:25 +00:00
parent 4be2dddaf9
commit f962297d6b
1 changed files with 7 additions and 0 deletions
@@ -47,6 +47,13 @@ const char * Options::optionNames[] = {
  "interruptEndTurn",
  "interruptCleanup",
  "interruptAfterEnd",
 //Unlocked modes
  "prx_handler",
  "prx_rimom",
  "prx_eviltwin",
  "prx_rnddeck",
  "aw_collector",
 };
 int Options::getID(string name){
  if(!name.size())