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 | 929cad6c0cf499d4c4bb658d92383734da45794a (patch) | |
| tree | 3c3cb780abb8c262dab321cbadb323a0cfb66957 /tests/dtfunctor.ur | |
| parent | 88e83065e0855559fb32638ac1585827f74eedbe (diff) | |
Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)
Diffstat (limited to 'tests/dtfunctor.ur')
0 files changed, 0 insertions, 0 deletions