Skip to content

Updates and simplification for mkdocs#4556

Merged
davidfischer merged 4 commits intomasterfrom davidfischer/mkdocs-upgrade-againSep 12, 2018