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

Tidy up docs; add an intro #46

Merged

jackbdoughty merged 1 commit into main from tidy_docs

Oct 30, 2024

+87 −9

Contributor

Tom-Willemsen commented Oct 29, 2024

Minor tidying/formatting of docs
Add an intro section giving a bit of context around what this is for

pull-request-size bot added the size/M label


          Tidy up docs; add an intro

6537eed

Tom-Willemsen force-pushed the tidy_docs branch from 0c74119 to 6537eed Compare

October 29, 2024 16:07

jackbdoughty approved these changes

View reviewed changes

jackbdoughty merged commit 541ec39 into main

11 checks passed

jackbdoughty deleted the tidy_docs branch

October 30, 2024 13:49

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

Labels