log Tools/scripts/parse_html5_entities.py @ 83191:0437c19cdad0

age author description
Tue, 23 Oct 2012 15:46:33 +0200 Ezio Melotti #16245: add a script to generate the html.entities.html5 dict.