log Tools/scripts/parse_html5_entities.py @ 87690:66c1c9f32567 default tip

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