diff Tools/scripts/parse_html5_entities.py @ 82148:3fdcffdfd3e6

Reject float as uid or gid. A regression was introduced in the commit for issue #4591.
author Serhiy Storchaka <storchaka@gmail.com>
date Sun, 10 Feb 2013 23:28:33 +0200
parents dd8b969d7459
children
line wrap: on
line diff