diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-22 20:25:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-22 20:25:14 -0500 |
| commit | 912c6fcf0c09348965262dd13c8faaefa61c2999 (patch) | |
| tree | 95c82a3c6cb68f2d41b337a3c9158faaa06e8c0d /xml | |
| parent | 13f7571727ad5626070ad9b735582d15e51161c4 (diff) | |
Fix runtime system handling of <dyn> inside <table> inside <dyn>
Diffstat (limited to 'xml')
0 files changed, 0 insertions, 0 deletions