Closed lkemmerer closed 5 years ago
Just updated github-pages. I think everything else should work just fine...
This is minor, so since Paul looked at it, I'll merge and deal with any doc-building-related fallout.
Just updated github-pages. I think everything else should work just fine...