New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

docs: use mkdocs-numtide #227

Merged

bors merged 1 commit into main from mkdocs-numtide

Apr 1, 2023

+36 −207

Member

zimbatm commented Apr 1, 2023

Move the theme and base config to another repo so it can be shared between projects.


          docs: use mkdocs-numtide

787ea9d

Move the theme and base config to another repo so it can be shared
between projects.

Member Author

zimbatm commented Apr 1, 2023

bors merge

Contributor

bors bot commented Apr 1, 2023

Build succeeded:

bors bot merged commit e7345cb into main

bors bot deleted the mkdocs-numtide branch

April 1, 2023 14:41

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet