diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:06:24 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:06:24 -0500 |
| commit | ae37c78eb55cc69635df594a2c20d4ad33c0c03b (patch) | |
| tree | 4d3d2d3181ebe9df7002fcec5bde69fe42105ff9 /tests/dynList.urs | |
| parent | 53c8e3791551e84d7c2100df885740be5a4871df (diff) | |
Remove 'value' attribute of <checkbox>
Diffstat (limited to 'tests/dynList.urs')
0 files changed, 0 insertions, 0 deletions