diff options
Diffstat (limited to 'Tools/scripts/parseentities.py')
| -rwxr-xr-x | Tools/scripts/parseentities.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Tools/scripts/parseentities.py b/Tools/scripts/parseentities.py index ab4f830..cf4e17c 100755 --- a/Tools/scripts/parseentities.py +++ b/Tools/scripts/parseentities.py @@ -8,7 +8,7 @@ Python snippet defining a dictionary "entitydefs" mapping literal entity name to character or numeric entity. - Marc-Andre Lemburg, mal@lemburg.com, 1999. + Marc-Andre Lemburg, mal@lemburg.com, 1999. Use as you like. NO WARRANTIES. """ @@ -62,4 +62,3 @@ if __name__ == '__main__': text = infile.read() defs = parse(text) writefile(outfile,defs) - |