diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-02-01 15:50:54 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-02-01 15:50:54 -0500 |
commit | d7e343ce4dbd94cc4fbf9ac663019acdac27d671 (patch) | |
tree | 6d38dc0caaa67573fdfd570defb6f51b498168fa /demo/ref.urs | |
parent | 6413f39758d223c6763c4bbe708048b4e570a98e (diff) |
Don't allow singleton <button> tags
Diffstat (limited to 'demo/ref.urs')
0 files changed, 0 insertions, 0 deletions