diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2017-07-27 20:08:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2017-07-27 20:08:01 -0400 |
| commit | 53dbce6998e78ddcb05693c7efdca101075941b0 (patch) | |
| tree | 47a23272286ae461fcaa4c3fe89c22bbf9015359 /tests/vlad2.ur | |
| parent | 34196bdad72334f9d8f809d6c9f564667f6011d4 (diff) | |
Fix last fix, to handle checkboxes properly
Diffstat (limited to 'tests/vlad2.ur')
0 files changed, 0 insertions, 0 deletions