install mdbook-toc in the CI#3
Merged
sylvestre merged 1 commit intouutils:mainfrom Nov 14, 2022
tertsdiepraam:mdbook-toc
Merged
install mdbook-toc in the CI#3sylvestre merged 1 commit intouutils:mainfrom tertsdiepraam:mdbook-toc
sylvestre merged 1 commit intouutils:mainfrom
tertsdiepraam:mdbook-toc