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 /bin | |
parent | e90f7afc607a0af326c87ebb184b7eacfee8b92b (diff) |
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions