log Tools/scripts/parse_html5_entities.py @ 81826:02c4ecc87f74

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