diff options
Diffstat (limited to 'tools/scripts/makeargs.py')
| -rw-r--r-- | tools/scripts/makeargs.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/scripts/makeargs.py b/tools/scripts/makeargs.py index a52812eaff..2cd47ae087 100644 --- a/tools/scripts/makeargs.py +++ b/tools/scripts/makeargs.py @@ -64,7 +64,6 @@ text = """ """ - for i in range(1, 8): tp = "" @@ -81,8 +80,3 @@ for i in range(1, 8): t = text.replace("$argtp", tp).replace("$argp", p).replace("$argt", t).replace("$num", str(i)) print(t) - - - - - |