diff options
Diffstat (limited to 'Tools/scripts/texcheck.py')
-rw-r--r-- | Tools/scripts/texcheck.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Tools/scripts/texcheck.py b/Tools/scripts/texcheck.py index b631dbc..e99f8ca 100644 --- a/Tools/scripts/texcheck.py +++ b/Tools/scripts/texcheck.py @@ -230,4 +230,3 @@ def main(args=None): if __name__ == '__main__': sys.exit(main()) - |