diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-14 17:39:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-14 17:39:18 -0400 |
| commit | c58370c7b4a4cc6027baf7b6ebfcc1dcab181666 (patch) | |
| tree | e5943aaf8f088e60d96a4c87d7228ec3c62c9593 /lib/ur/list.urs | |
| parent | 882b016302da2645ff07ccaf9c78eaa60f736461 (diff) | |
Fix bug with <dyn> as first child of <table>
Diffstat (limited to 'lib/ur/list.urs')
0 files changed, 0 insertions, 0 deletions