diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-03-16 08:42:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-03-16 08:42:51 -0400 |
| commit | a613f7d9361f504290757c686d87f56dc1e7b088 (patch) | |
| tree | 3c3cb780abb8c262dab321cbadb323a0cfb66957 /CHANGELOG | |
| parent | e90f7afc607a0af326c87ebb184b7eacfee8b92b (diff) | |
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions