Skip to content

[mypyc] Make mypyc docs use the same theme as mypy docs#10176

Merged
JukkaL merged 2 commits intomasterfrom mypyc-doc-themeMar 7, 2021

Commits

Commits on Mar 7, 2021