Skip to content

LEAN-1276 -- Amend the importer to cater for the new sections

Hashem alhusban requested to merge LEAN-1276 into master

Reverted changes done in LEAN-207

Updated the handling of special footnotes to be treated as sections

Updated corresponding test cases

Merge request reports