Skip to content

Search for footnote declarations globally#3

Open
XertroV wants to merge 1 commit intohalbgut:masterfrom
XertroV:patch-1
Open

Search for footnote declarations globally#3
XertroV wants to merge 1 commit intohalbgut:masterfrom
XertroV:patch-1

Commits

Commits on Jul 3, 2018