Commit 6db19dea authored by Vivien Kraus's avatar Vivien Kraus

Disable presetting of the mode options

parent 11bbc8a5
......@@ -42,6 +42,7 @@ END;
flag = {
name = new-game;
equivalence = new-game;
descrip = "Create a new game";
doc = 'In this mode, the program will create a new, empty game. You should define the number of players with @command{n-players}, and whether there is a call with @command{call} or @command{without-call}.';
......@@ -68,6 +69,7 @@ flag = {
flag = {
name = output;
value = o;
descrip = "Output file to write";
arg-type = file;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment