Skip to content

First-line-indent: fix bug with pre-existing header-includes#185

Open
jdutant wants to merge 2 commits intopandoc:masterfrom
jdutant:first-line-indent
Open

First-line-indent: fix bug with pre-existing header-includes#185
jdutant wants to merge 2 commits intopandoc:masterfrom
jdutant:first-line-indent

Commits

Commits on Jul 4, 2021

Commits on Jul 8, 2021