Skip to content

switch to furo, a simpler theme#245

Merged
rmorshea merged 2 commits intomainfrom
furo
Oct 14, 2020

Commits

Commits on Oct 14, 2020