diff options
Diffstat (limited to 'scripts/genoptions.lua')
| -rw-r--r-- | scripts/genoptions.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/genoptions.lua b/scripts/genoptions.lua index 2859ca1795..da53d010bd 100644 --- a/scripts/genoptions.lua +++ b/scripts/genoptions.lua @@ -39,6 +39,7 @@ local redraw_flags={ local list_flags={ comma='P_COMMA', + onecomma='P_ONECOMMA', flags='P_FLAGLIST', flagscomma='P_COMMA|P_FLAGLIST', } |