log Tools/scripts/parse_html5_entities.py @ 81343:3a7cd8efc19f

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