Skip to content

GitHub-Style Footnotes#2326

Closed
DerDrodt wants to merge 37 commits intogetzola:nextfrom DerDrodt:bottom-footnotes

Commits

Commits on Mar 19, 2023

Commits on Apr 6, 2023

Commits on Apr 20, 2023

Commits on Apr 23, 2023

Commits on Apr 28, 2023

Commits on May 1, 2023

Commits on May 2, 2023

Commits on May 6, 2023

Commits on Jul 10, 2023

Commits on Jul 26, 2023

Commits on Jul 27, 2023

Commits on Aug 4, 2023

Commits on Aug 13, 2023

Commits on Aug 17, 2023

Commits on Aug 30, 2023

Commits on Sep 24, 2023

Commits on Sep 29, 2023

Commits on Oct 11, 2023

Commits on Oct 12, 2023

Commits on Oct 16, 2023

Commits on Oct 27, 2023