diff Tools/scripts/texi2html.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 332b93ce7bf9
children
line wrap: on
line diff