Skip to content

Improve label behavior with table of contents#209

Closed
stefano-ottolenghi wants to merge 3 commits intomasterfrom labels-toc