tree 7023395e57db80b0ce9762aeb20705b13c141dac
parent d25b3982c760289f7c5eeefdc81a5659a9703aa7
author Ezio Melotti <ezio.melotti@gmail.com> 1350999993 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1350999993 +0200
HG:rename-source hg

#16245: add a script to generate the html.entities.html5 dict.