commit | f1558ff0ba3318a0112cd82aa484aa70451d48a3 | [log] [tgz] |
---|---|---|
author | Tim Ansell <me@mith.ro> | Sun Nov 29 09:58:52 2020 -0800 |
committer | GitHub <noreply@github.com> | Sun Nov 29 09:58:52 2020 -0800 |
tree | fdcfeba9516871a431dababfa2bc39e94e69d1d0 | |
parent | f1d096dac23d8c403296f0731be57fb0a7bb652a [diff] | |
parent | 2fada8d9e17a4e17f206002192c2a2f78a97a2e3 [diff] |
Merge pull request #257 from antmicro/161-fix-footnote-warnings Fix footnote warnings - table footnotes included in parent documents