Skip to content

Change command line parameter names for players

Hans-Georg Sommer requested to merge main into master
  • since the color changes after each game in tournament mode, the previous names were a bit confusing

Merge request reports