log Tools/scripts/parse_html5_entities.py @ 84417:de44cd866bb0

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