diff options
| author | Wiimm <wiimm@wiimm.de> | 2024-02-23 16:02:06 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2024-02-23 16:02:06 +0100 |
| commit | b8aca433e32346c9293acc34a9e2242809ac5692 (patch) | |
| tree | c6520d8571fa3e13ec189529aaf52fb86d828085 /project/src/ui/tab-wkclt.inc | |
| parent | 685554b2c272fdefc23bb1d237c059b52ab5fc58 (diff) | |
SZS v2.41b
Diffstat (limited to 'project/src/ui/tab-wkclt.inc')
| -rw-r--r-- | project/src/ui/tab-wkclt.inc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/project/src/ui/tab-wkclt.inc b/project/src/ui/tab-wkclt.inc index a8e6d07..38207d5 100644 --- a/project/src/ui/tab-wkclt.inc +++ b/project/src/ui/tab-wkclt.inc @@ -285,6 +285,9 @@ { T_OPT_GP, "CONFIG", "config", 0, 0 /* copy of wszst */ }, + { H_OPT_G, "YDEBUG", "ydebug", + 0, 0 /* copy of wszst */ }, + { T_OPT_G, "ALLOW_ALL", "allow-all|allowall", 0, 0 /* copy of wszst */ }, |