| commit | ccc9e617f57e315719a62cd9ca812b3f21ad8966 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Tue Oct 23 15:46:33 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Tue Oct 23 15:46:33 2012 +0200 |
| tree | 7023395e57db80b0ce9762aeb20705b13c141dac | |
| parent | d25b3982c760289f7c5eeefdc81a5659a9703aa7 [diff] |
#16245: add a script to generate the html.entities.html5 dict.