diff options
-rwxr-xr-x | bin/gla11y | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/gla11y b/bin/gla11y index d0619133ad0f..fc06fac7da01 100755 --- a/bin/gla11y +++ b/bin/gla11y @@ -186,9 +186,6 @@ def main(): elif a == "none": Wnone = True - if not args: - sys.exit("%s: no input files" % progname) - for filename in args: try: tree = ET.parse(filename) |